Registry · Theorem II.T43 established formalized

II.T43 — Structural Incompatibility of Unique Omega and Archimedean Density

Under K5, properties (U) unique global omega and (A) Archimedean local density cannot both hold. (A) implies not-(U) via the cardinality hierarchy; (U) + K5 implies not-(A) via the Inapplicability Theorem (I.T35) and Unique Infinity (I.T36).

Book II Part 11 Ch. 66

Dependency Graph

Depends on (7)

Depended on by (3)

Lean Formalization

Module: TauLib.BookII.Mirror.SignClassification

Symbol: structural_incompatibility