Ontological Bedrock: Persistence and the Void
Abstract
Complete Lean 4 machine-verification of Parts I and II. EV formulated as orbit-cardinality boundedness — zero Kolmogorov complexity axioms. Single external axiom: Kleene’s second recursion theorem (consistent with ZFC). Zero sorrys. Plain version pdf included.
Fields of Study & Subjects
Optics and Image Analysis
Library Science and Information Systems
Research Data Management Practices
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 1 May 2026
- Language
- EN
- Document type
- Preprint