III.D67 — ZFC as E₂ VM

ZFC characterised as an E₂ virtual machine using the Layer Template: Carrier = formal sentences, Predicate = derivability, Decoder = Gödel numbering, Invariant = consistency. ZFC cannot live at E₀ (no execution) or E₁ (no codes). τ and ZFC are two different E₂ VMs.