Registry · Definition III.D86 tau-effective formalized

III.D86 — Paradox Absorption Map

Four classical paradoxes (Cantor, Russell, Gödel, Turing) each mapped to a construction on Z/M_k Z. All paradox constructions produce valid E₃ elements — the self-model absorbs self-reference. Verified at stages 1-3.

Book III Part 10 Ch. 72

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIII.Mirror.E3Witness

Symbol: paradox_absorbed_check