Registry · Definition VII.D26 tau-effective formalized

VII.D26 — Ontic/Virtual Distinction

Ontic entities have NF addresses; virtual entities are meta-level constructions. ZFC operates as virtual machine on τ-hardware.

Book VII Part 2 Ch. 18

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.OnticVirtualDistinction