Registry · Theorem VII.T16 tau-effective formalized

VII.T16 — ω-Uniqueness

ω is unique terminal object; infinity introduces ambiguity incompatible with terminality; structural monotheism.

Book VII Part 2 Ch. 32

Dependency Graph

Depends on (2)

VII.D40 VII.D41

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.omega_uniqueness