Registry · Theorem I.T01 established formalized

I.T01 — Ontic Closure

Obj(tau) = {omega} union O_alpha union O_pi union O_gamma union O_eta, and this set is ontically sealed -- no further objects can be created.

Book I Part 2 Ch. 7

Dependency Graph

Depends on (5)

I.K3 I.K5 I.K6 I.X01 I.D05

Depended on by (11)

I.D07 I.D08 I.D14 I.D15 I.D16a I.D94 I.L02 I.P07 I.R28 I.T07 I.T08

Lean Formalization

Module: TauLib.BookI.Orbit.Closure

Symbol: Tau.Orbit.ontic_closure