Registry · Theorem
III.T49
tau-effective
formalized
III.T49 — Applied Saturation
The enrichment ladder E₀ → E₁ → E₂ → E₃ → stop is COMPLETE. Applied to proof theory: meta-metatheory adds nothing. Applied to ZFC: no meta-metatheory reveals further structure. Applied to Book III: the book is a fixed point of self-reflection.
Book III
Part 10
Ch. 72