Registry · Definition III.D75 tau-effective formalized

III.D75 — E₂→E₃ Boundary Crossing

An operation that (i) originates at E₂ with self-referential codes, (ii) requires determining a host-level property of the entire code space, (iii) resides at E₃ because it demands self-modelling. The paradox is the error message when E₂ self-reference hits the E₃ wall.

Book III Part 10 Ch. 71

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIII.Mirror.ProofTheoryE3

Symbol: four_paradox_check