Zero Does Not Exist: A Geometric Foundation for the Natural Numbers

Abstract

Description For two thousand years, Euclid's fifth postulate — that exactly one parallel line passes through any external point — was accepted as a truth about the structure of space. Gauss, Bolyai, and Lobachevsky demonstrated it was not a truth but a special case: the degenerate curvature-zero limit of a richer geometric framework. Riemann generalized this into a theory where flat space is the exception, not the rule. The Davis Non-Decoupling Theorem (2025) completed the picture: on any manifold with intrinsic curvature, parallel lines are excluded by the geometry itself. This paper applies the same structural logic to zero. We construct the geometric natural numbers G, a connection-based number system in which each natural number is a pair (G_n, G) consisting of an element count n >= 1 and a simple, undirected graph G on n vertices. For n >= 2, the graph must be connected — multiplicity without connection is excluded from the system. The pre-geometric seed (G_1, P_1), a single vertex with no edges, is retained as the irreducible element from which geometry can emerge but has not yet emerged. The void state G_0 (no elements, no graph, no base space) is excluded entirely: it is not a degenerate member of G but the dissolution of the conditions under which G is defined. Formal Results Theorem (Peano Embedding). The path-graph naturals P = {(G_n, P_n) : n >= 1}, where P_n is the undirected path graph on canonical vertex set {1, ..., n} with linear order inherited from the labeling, satisfy all five Peano axioms with (G_1, P_1) in the role of zero and S(G_n, P_n) = (G_{n+1}, P_{n+1}) as successor. The map phi: N -> P defined by phi(n) = (G_{n+1}, P_{n+1}) is an isomorphism of Peano systems. All five axioms are verified: distinguished element, closure, non-circularity, injectivity, and induction. Proposition (Addition Preservation). Path-graph addition, defined by canonical concatenation with reindexing — (G_a, P_a) + (G_b, P_b) = (G_{a+b-1}, P_{a+b-1}) — satisfies phi(a + b) = phi(a) + phi(b). Peano addition is preserved under the embedding. Proposition (Monoid Structure). The path-graph naturals (P, +, (G_1, P_1)) form a commutative monoid. Identity, associativity, and commutativity are proved on the nose via canonical reindexing, not merely up to isomorphism. Corollary (Proper Containment). The Peano naturals embed properly into the geometric naturals: N = P (proper subset of) G. The geometric system contains structures — cycles, complete graphs, trees, arbitrary connected graphs — that have no Peano representation. The embedding is strict: the triangle (G_3, C_3) is a member of G with no preimage in N. The Three-Tier Ontology The paper defines three formally distinct states: Void (G_0): Outside the domain of G. No elements, no vertices, no graph, no base space. Not a degenerate geometry but the absence of the conditions for geometry. Excluded from the geometric naturals by construction. Pre-geometric (G_1): In the domain of G but carrying no geometric content. One vertex, no edges. The connection map Gamma is undefined here (G_1 does not satisfy the domain predicate |V| >= 2). The Davis Field Equation C = tau/K is undefined — not zero, undefined — because reach tau = 0 and curvature K is statistically degenerate on a single observation. This is the irreducible seed: formally present, structurally inert. Under the Peano embedding, Peano's 0 maps here. Geometric (G_n, n >= 2, G connected): Nontrivial. Curvature is measurable. Capacity C = tau/K returns a positive real. The conservation law S + d^2 = 1 becomes a genuine constraint. The connection map Gamma(G_n, G) = |E| >= 1. The economy of the Davis Field Equations activates. This is where arithmetic has geometric content. The Connection Map The connection map Gamma: {(G_n, G) in G : |V| >= 2, G connected} -> Z_{>=1} returns the edge count |E|. Its domain is formally restricted to connected graphs with two or more vertices. For path graphs, Gamma = n - 1, and element-counting (Peano) and connection-counting (geometric) are interchangeable up to a constant offset. For non-path topologies, they diverge: G_1 (single vertex): Peano count 1, Gamma undefined (pre-geometric) G_2 (edge): Peano count 2, Gamma = 1, path P_2 G_3 (path): Peano count 3, Gamma = 2, path P_3 G_3 (triangle): Peano count 3, Gamma = 3, cycle C_3 G_4 (path): Peano count 4, Gamma = 3, path P_4 G_4 (complete): Peano count 4, Gamma = 6, complete graph K_4 Peano arithmetic is the path-graph restriction — the case where topology is invisible. The Davis Field Equation at n = 1 C = tau/K is not zero but undefined for a single unconnected element. Reach tau = 0 (no peer to reach). Curvature K = sigma/mu is statistically degenerate (sample size 1). Capacity C = 0/0+ is an indeterminate form. The field equation does not return zero — it refuses to produce a meaningful output. The distinction between "returns zero" (a measurement) and "undefined" (not a measurement) is central to the paper's ontology. The Structural Parallel The analogy between zero and parallel lines is not rhetorical but structural. Peano arithmetic is to the geometric naturals what Euclidean geometry is to Riemannian geometry: the curvature-zero, topology-blind, path-restricted special case of a richer framework. Euclidean geometry (K = 0) is a non-generic specialization of Riemannian geometry. Peano arithmetic (0 is primitive, topology is a path) is a non-generic specialization of geometric arithmetic. Prior Art and Novelty The debate over whether N starts at 0 or 1 is a convention dispute — nobody in that debate constructs an alternative formal system. Mathematical structuralism (Shapiro, Benacerraf, Resnik) holds that numbers are positions in structures defined by relations, but no structuralist has built a number system that properly contains Peano and excludes the void. The philosophy of zero (Barton et al., Synthese 2019) analyzes zero through absence perception but argues FOR zero's existence. The Greek opposition to the void ("How can not-being be?") anticipated the intuition but had no formal machinery. This paper is, to the author's knowledge, the first to: Construct a formal number system that properly contains the Peano naturals and excludes the void state, with a proved embedding theorem Make the parallel-postulate analogy precise as a structural correspondence between flat/curved geometry and flat/curved arithmetic Connect zero's exclusion to fiber bundle geometry and a field equation (C = tau/K) that is undefined at n = 1 Define a three-tier domain ontology (void / pre-geometric / geometric) with formal consequences for each tier Prove that the path-graph naturals form a commutative monoid under canonical concatenation, with addition preserved under the Peano embedding Scope The paper does not claim that ZFC is inconsistent or that Peano arithmetic is wrong. It claims they are flat — valid frameworks operating in the path-graph limit of a richer geometric arithmetic. Within the geometric naturals, the void is excluded from the domain, the singleton is retained as the pre-geometric seed, and nontrivial arithmetic content begins only with connection. That is the precise sense in which zero does not exist. We do not claim that ZFC is wrong. We claim it is flat. C = tau/K. Relation to the Davis Geometric Research Program This paper extends the Davis Field Equations into the foundations of arithmetic. Prior publications in the program include: The Davis Duality of Approximation and Obstruction: Why Machine Learning Works, Why the Vacuum Has Mass, and the Universal Law of Flat Failure (DOI: 10.5281/zenodo.19428406) — Proves the curvature sandwich inequality governing both ML scaling laws and the Yang-Mills mass gap. The duality theorem established there is the direct ancestor of this paper's claim: you cannot flatten a curved structure without error, and the error is the curvature. In the Zero paper, "flattening" is Peano's projection of the geometric naturals onto a path graph, and the "error" is the lost topological information. The Geometry of Delivery: A Uniqueness Theorem for Section Coherence over Stratified Barrier Bundles (DOI: 10.5281/zenodo.19321978) — Proves that C = tau/K is the unique coherence functional satisfying four axioms via the Cauchy functional equation. The uniqueness proof in that paper (harmonic series composition leading to the additive Cauchy equation) is the same proof structure used in this paper's Theorem 2.1 to derive the Davis Field Equation. The Zero paper's Axiom A3 (harmonic series composition) and the Delivery paper's Axiom A3 (inverse scaling for series impedance) are the same axiom in different notation. The Double Cover Principle (DOI: 10.5281/zenodo.18895462) — S + d^2 = 1 as a geometric constraint from fiber bundle structure No Parallel Lines: The Non-Decoupling Theorem (DOI: 10.5281/zenodo.18754646) — Exclusion of parallel geodesics on curved manifolds. The direct precedent for this paper's central claim: just as parallel lines are excluded from curved geometry, zero is excluded from connection-based arithmetic. The Bra Strap Principle (DOI: 10.5281/zenodo.18827805) — Fiber bundle gauge theory applied to structural topology Keywords foundations of mathematics, natural numbers, zero, Riemannian geometry, fiber bundles, Davis Field Equations, relational ontology, non-Euclidean arithmetic, geometric counting, Peano axioms, connection map, graph theory, commutative monoid, mathematical structuralism Files zero_paper.pdf — The paper (14 pages, LaTeX-compiled) zero_paper.tex — LaTeX source Citation Davis, B.R. (2026). Zero Does Not Exist: A Geometric Foundation for the Natural Numbers. Zenodo. DOI: [pending] License Creative Commons Attribution 4.0 International (CC BY 4.0)