Registry · Remark I.R29 established formalized

I.R29 — Finite-Infinite Boundary

Finite-Infinite Boundary: radial orbits (alpha, pi) yield finite sets; solenoidal orbits (gamma, eta) yield infinite sets; omega yields the universal set. The finite-infinite transition coincides with the radial-solenoidal boundary — the set-theoretic signature of the structural divide between counting infrastructure and power infrastructure.

Book I Part 8 Ch. 83

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookI.Sets.OrbitSets

Symbol: Tau.Sets.finite_infinite_boundary