Registry · Theorem III.T48 tau-effective formalized

III.T48 — Four Paradox Diagnostic

Cantor's diagonal, Russell's paradox, Gödel's sentence, and Turing's halting problem are four instances of the same E₂→E₃ boundary crossing (III.D75). Each attempts an operation requiring E₃ self-modelling from within E₂.

Book III Part 10 Ch. 71

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIII.Mirror.ProofTheoryE3

Symbol: paradox_resolution_check