Registry · Definition VII.D60 tau-effective formalized

VII.D60 — Truth-Maker in τ (Logical)

Structures that make sections exist; the ground of truth. Truth is not correspondence but section-existence.

Book VII Part 6 Ch. 72

Dependency Graph

Depended on by (2)

VII.P16 VII.T27

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.TruthMakerLogical