Registry · Remark
VII.R05
tau-effective
not_applicable
VII.R05 — ZFC-as-VM Philosophical Import
Orthodox set theory functions as a virtual machine running on τ-hardware; ontological status is secondary.
Lean Formalization
Module: TauLib.BookVII.Meta.Registers
Symbol: