Registry · Proposition I.P37 established formalized

I.P37 — Ultrametric Replaces Cardinality

The ultrametric structure on omega-germs (primorial divergence depth) replaces the cardinality hierarchy. Size distinctions between infinite sets are replaced by depth-of-agreement distinctions between omega-germs.

Book I Part 9 Ch. 38

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookI.Sets.UniqueInfinity

Symbol: Tau.Sets.ultrametric_replaces_card