Registry · Theorem I.T36 established formalized

I.T36 — Unique Infinity Object

Unique infinity object: omega is the sole infinite object in tau, and all approaches to infinity are mediated by omega-germs on the primorial ladder. No hierarchy of infinities exists; infinity is singular and structural.

Book I Part 9 Ch. 38

Dependency Graph

Depends on (3)

Depended on by (4)

Lean Formalization

Module: TauLib.BookI.Sets.UniqueInfinity

Symbol: Tau.Sets.unique_infinity