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.

Book III Part 10 Ch. 64

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIII.Bridge.ZFCasVM

Symbol: axiom_encoding_check