The Limits of Mathematical Freedom: Why the Independence of Mathematical Practice Does Not Establish the Existence of Infinite Objects

The independence of mathematics from physical application is one of the central achievements of modern mathematics and philosophy of mathematics. This paper accepts that independence as a genuine and historically productive feature of mathematical practice — and then argues that it is nevertheless compatible with, and indeed a consequence of, physical determination at the level of execution. The paper's central claim is a distinction between two kinds of freedom. Pure mathematics, practised for its own sake, enjoys complete freedom from all external constraints, including constraints from physics. Mathematicians are free to posit any axiom, investigate any structure, adopt any method, and pursue any internal goal without requiring that the resulting objects correspond to physically constructible things. The Axiom of Infinity is a legitimate axiom within the mathematical domain. ZFC is a legitimate formal system. The warehouse Maddy describes — mathematics stocking abstract structures from which scientists select whatever tools suit their representational needs — is real, and the freedom of direction it embodies is not disputed. The physical construction criterion has no jurisdiction within the mathematical domain. What the paper argues is more limited and precisely located: this freedom does not extend across the border into physics. The border is crossed at a precise point — when a mathematical structure is treated as a physical axiom, as a claim about what the physical universe fundamentally contains, rather than as a formal rule that generates useful computational consequences within a mathematical system. On one side of the border, the continuum is a legitimate element of the warehouse. On the other, the continuum imported as physical ontology is a category error: the assertion that physical space is literally a continuous manifold with an uncountable infinity of points, that Hilbert spaces are actually infinite-dimensional, that the path integral genuinely sums over a completed infinite-dimensional function space. The error is not in the mathematics. It is in the import. The paper establishes this argument in three stages. The first stage accepts the independence of mathematical direction fully and generously, tracing the historical narrative through the three strands identified in Maddy's account: the internal development of pure mathematics, the Euclidean rescue, and the reconceptualisation of applied mathematics as abstract modelling. The second stage identifies the structural parallel between mathematical independence and top-down causation in complex physical systems. The independence of mathematical practice from physical application has exactly the same structure as top-down causation: genuine at the level of description, compatible with physical determination at the level of execution. Every decision a mathematician makes is the result of a physical process in a physical brain. Every norm of mathematical practice is maintained by physical systems executing finite physical processes. The mathematical community is a complex physical system operating at a level far above its physical substrate, and its collective behaviour exhibits the same kind of effective autonomy that thermodynamics exhibits from molecular dynamics — real, useful, and not an independence from physical determination at the level of substrate. The third stage establishes the ontological consequence: a physically bounded practice cannot bring into existence objects that exceed the physical bounds of the practice that posits them. The Axiom of Infinity posits a completed infinite set through a finite physical act. The positing is real. The object posited requires an infinite physical process for its construction, which no physical system can execute. The positing therefore asserts nothing about a physically constructible object. The axiom is not false — it is empty. The paper then presents its empirical centrepiece: the direct, identifiable physical consequences of importing unconstructable mathematical objects into physical theories as descriptions of physical reality. Five pathologies are identified and diagnosed. Ultraviolet divergences arise because quantum field theory integrates over all field configurations at all scales, including scales below the minimum preonic volume — a minimum that the continuum model, applied as physical ontology, cannot accommodate. The singularities of general relativity arise because the smooth manifold assumption permits spacetime to be compressed to arbitrarily small volumes, which is impossible in a universe where space is constituted by discrete preons(−) of finite volume. The cosmological constant problem arises because the vacuum energy calculation integrates over an infinite-dimensional space of field fluctuations with no physical minimum scale. The measurement problem arises because the infinite-dimensional Hilbert space, treated as the literal state space of a physical system, generates ontological superposition that no physical discrete system instantiates. The non-renormalisability of quantised gravity and the string theory landscape arise from combining continuum approximations at the scale where both break down, and from the unconstrained richness of continuous compactification geometries imported into physical ontology without restriction. In each case the diagnosis is the same: the pathology is a structural consequence of the category error, not a contingent technical difficulty. In each case QGD dissolves the pathology by construction, not by resolution within the continuum framework. The paper addresses the standard fruitfulness objection: that the Axiom of Infinity is justified by its indispensability for generating the mathematics physics uses. The response has two components. First, classical analysis is fully recoverable without completed infinite objects: every real number appearing in a physical calculation is computable and finitely approximable, and the emergence theorem of QGD establishes that Euclidean space is derived from the isotropic preonic structure rather than assumed — so classical analysis is the correct effective description of the preonic structure at large scales, not an approximation to a fundamental continuum. Second, QGD's physical axioms meet the fruitfulness criterion at least as well as the Axiom of Infinity: from two axioms about preons(−) and preons(+) the framework derives Newton's laws, special relativity, the mass-energy relationship, electromagnetism, and quantum mechanical behaviour, while additionally dissolving all five pathologies. A framework that produces the same useful physical results without the failures meets the fruitfulness criterion more completely than the framework it replaces. The paper concludes that the independence of mathematical direction is preserved entirely. The warehouse is real, its contents are legitimately stocked, and the freedom of mathematical practice to pursue internal goals is not restricted in any way. What does not survive is the inference from effective autonomy of practice to the independent existence of objects that the practice posits but cannot construct. The warehouse contains what has been constructed. The Axiom of Infinity posts a note for an object that the physically bounded practice of mathematics cannot deliver. The note is useful. The object it promises was never there. This paper is a companion to Mathematics as a Subset of Physics P12, the Physicality of Logic P16, Physically Derivable Set Theory P27, and Axiomatic Localism P19, and is part of the Quantum-Geometry Dynamics (QGD) and Minimally Physically Derivable Theories (MPDT) programme.