Registry · Definition VII.D25 tau-effective formalized

VII.D25 — Internal Set Ontology

Existence is NF-addressability; bounded construction characterizes internal standing in τ.

Book VII Part 2 Ch. 18

Dependency Graph

Depended on by (1)

VII.T18

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.InternalSetOntology