Registry · Remark IV.R448 metaphorical not_applicable

IV.R448 — τ as the ℕ of Holomorphy

Structural analogy: ℕ is initial object of Peano arithmetic; τ may be initial object of holomorphic geometry. Five generators play the role of Peano axioms. Analogy suggestive but unproven.

Book IV Part 8 Ch. 73

Lean Formalization

Module: