The Infinium: A Formalization in Type Theory (Final Revised Version, May 2026) | Synapse