Registry · Definition II.D69 established formalized

II.D69 — The Infinity Trade-Off

The pair of structural properties: (U) unique global omega with non-trivial spectrum, and (A) Archimedean local density with uncountably many elements in every neighborhood. The two properties represent the deepest structural divergence between orthodox and tau-mathematics.

Book II Part 11 Ch. 66

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookII.Mirror.SignClassification

Symbol: InfinityTradeOff