Registry · Definition
III.D68
tau-effective
formalized
III.D68 — Gödel Numbering as NF Address
Gödel numbering is the NF-address system of the ZFC-VM's code space: injective, primitive-recursive decoder, self-referential via the diagonal lemma. Structurally parallel to NF addresses in the profinite tower.