2026/07/08 by Nicola Bonatti · 1 voice
Mathematics · Computer Science · #Mathematical and Theoretical Analysis #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms
paper · pdf · doi:10.1007/s10670-026-01132-w
Abstract Hilbert’s (arithmetical) Axiom of Completeness asserts that the structure of the real numbers \mathbb R <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>R</mml:mi> </mml:math> is maximal in the sense of not having a proper extension to an Archimedean ordered field. The more recent works of Ehrlich (2001), McGee (1997) and Aczel (1988) show that certain maximality conditions modeled upon Hilbert’s axiom provide unique characterizations of, respectively, the s-hierarchical ordered field of surreal numbers No , the well-founded hierarchy of pure sets \mathbb V k <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>V</mml:mi> <mml:mrow> <mml:mspace/> <mml:mi>k</mml:mi> </mml:mrow> </mml:msub> </mml:math> , and the non-well-founded hierarchy of Finsler-extensional sets \mathbb V\scriptscriptstyle F A F A <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>V</mml:mi> <mml:mstyle> <mml:mrow> <mml:mspace/> <mml:mi>F</mml:mi> <mml:mspace/> <mml:mi>A</mml:mi> <mml:mspace/> <mml:mi>F</mml:mi> <mml:mspace/> <mml:mi>A</mml:mi> </mml:mrow> </mml:mstyle> </mml:msub> </mml:math> . The paper provides a comprehensive historical and theoretical reconstruction of this often overlooked chapter in the history of the axiomatic method. The historical reconstruction suggests that the maximality condition of non-extensibility arises as a natural axiom in the unique characterization of mathematical structures, as illustrated by the theories of (s-hierarchical non-)Archimedean continua and (non-)well-founded sets. The theoretical reconstruction argues that the maximality condition of non-extensibility is the formal explication of the heuristic principle of Plenitude, as usually adopted to describe the intuitive ‘‘fullness” of punctiform continua and the cumulative hierarchy of sets.