III.D73 — Proof Theory as E₃

Proof theory is E₃ self-modelling applied to E₂ code. Layer Template at E₃: Carrier = formal systems as objects, Predicate = provability about provability, Decoder = metatheoretic interpretation, Invariant = metatheoretic consistency.