Registry · Definition VII.D27 tau-effective formalized

VII.D27 — Truth-Maker in τ (Ontological)

Four types of truth-makers: inclusion, section, diagram, invariant; ground structural truth in τ.

Book VII Part 2 Ch. 19

Dependency Graph

Depended on by (2)

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.TruthMakerOntological