Registry · Definition VII.D61 tau-effective formalized

VII.D61 — Truth-Bearer as Section

Propositions as sections of presheaves; truth-bearers are structural objects, not linguistic entities.

Book VII Part 6 Ch. 72

Dependency Graph

Depended on by (1)

VII.T27

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.TruthBearerAsSection