Registry · Theorem VII.T33 tau-effective formalized

VII.T33 — Monodromy as Source of Tragedy

Moral tragedy is monodromy, not contradiction; duties compose into paths that cannot close; Antigone, Sophie's Choice formalized.

Book VII Part 7 Ch. 81

Dependency Graph

Depends on (1)

VII.T32

Lean Formalization

Module: TauLib.BookVII.Ethics.CIProof

Symbol: Tau.BookVII.Ethics.CIProof.monodromy_tragedy