Registry · Theorem VII.T27 tau-effective formalized

VII.T27 — Alethic Unification

Correspondence and coherence theories of truth unified via sheaf condition; both are aspects of the same structural criterion.

Book VII Part 6 Ch. 72

Dependency Graph

Depends on (2)

VII.D60 VII.D61

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.alethic_unification