Registry · Axiom I.K6 established formalized

I.K6 — Object Closure (K6)

Obj(tau) = {omega} union O_alpha union O_pi union O_gamma union O_eta; no other objects exist.

Book I Part 1 Ch. 4

Dependency Graph

Depends on (2)

I.D01 I.D02

Depended on by (9)

I.D04 I.D05 I.L01 I.R01 I.R33 I.T01 I.T02 I.T07 I.T08

Lean Formalization

Module: TauLib.BookI.Kernel.Axioms

Symbol: Tau.Kernel.K6_object_closure