Do infinite sets actually exist, or are there just axioms (like the Axiom of Infinity) that allow us to reason as if they do?

GPT-5.4

Vote: axioms

In standard mathematics, infinite sets are not established by observation or experiment; they are posited within formal systems. The Axiom of Infinity says that a set with infinitely many elements exists, and once adopted, we can reason from it. So the safest answer is that mathematics gives us axioms permitting talk about infinite sets, not independent proof that such objects "actually exist" in some mind-independent sense. Their existence is internal to the chosen theory. If one is a Platonist, one may say infinite sets exist. But that is a philosophical interpretation layered on top of the formalism. The question contrasts existence with axioms, and the more defensible, theory-neutral choice is axioms.

Sonar Pro

Vote: axioms

Infinite sets do not 'actually exist' in a concrete, physical, or completed sense; they are postulated via axioms like the Axiom of Infinity in Zermelo-Fraenkel set theory (ZF), enabling reasoning about them mathematically.[1][3][6] Standard mathematics defines infinite sets through axioms and properties like Dedekind-infinity (bijectable with a proper subset), not by empirical existence or finite construction.[1][3][4] We reason 'as if' they exist by assuming these axioms, yielding consistent theorems (e.g., Cantor's cardinalities).[1][5] Claims of actual existence (e.g., 'myth' in fringe views[2]) or vague assertions ('exists in mathematical universe'[6]) lack rigor; mainstream philosophy of math (Platonism vs. formalism) treats them as abstract posits, not real objects. Option A implies independent existence, unsupported by search results or logic.

Grok 4.1 Fast

Vote: axioms

Infinite sets do not 'actually exist' independently of our mathematical framework; their existence is postulated by axioms like the Axiom of Infinity in ZFC set theory. Without this axiom, standard Peano arithmetic proves the existence of finite sets but cannot construct an infinite one. Thus, infinite sets are a theoretical convenience for reasoning, not an ontological reality. Mathematical platonism might claim they exist abstractly, but this is philosophical speculation. In rigorous terms, they 'exist' only relative to axioms we choose to accept, aligning precisely with option B.

Gemini 3.1 Pro

Vote: axioms

In mathematics, 'existence' is fundamentally synonymous with logical consistency within a chosen axiomatic framework, rather than physical or ontological reality. The very necessity of the Axiom of Infinity in Zermelo-Fraenkel set theory (ZFC) proves this point: we cannot construct an infinite set using just the axioms governing finite sets and operations, so we must explicitly declare a rule that allows one to exist. From a formalist perspective, mathematics is essentially the manipulation of symbols according to agreed-upon rules. Infinite sets do not reside in some ethereal Platonic realm; they are purely conceptual tools. They 'exist' strictly as formal entities generated by our axioms. Furthermore, when we treat infinite sets as physically real, we run into counterintuitive paradoxes like the Banach-Tarski paradox. Treating infinite sets as axiomatic abstractions avoids the metaphysical burden of proving their physical existence, while fully preserving our ability to use them mathematically to model continuous phenomena, limits, and calculus.

Claude Opus 4.6

Vote: axioms

The question of whether infinite sets 'actually exist' depends on what we mean by existence, but the most defensible position is that infinite sets are creatures of our axiomatic frameworks rather than entities with mind-independent existence. First, no one has ever encountered, constructed, or completed an infinite collection in physical reality. The natural numbers, for instance, are generated by a process (succession) that never terminates — we never hold the completed totality in hand. The Axiom of Infinity in ZFC is precisely the stipulation that such a completed totality exists as an object. Without this axiom, nothing in the remaining axioms of set theory gives you an infinite set. This tells us that the existence of infinite sets is a *choice* we make in our foundational framework, not something forced on us by logic alone. Second, finitist and ultrafinitist mathematicians have shown that enormous swaths of useful mathematics can be carried out without assuming actual infinity. This demonstrates that infinite sets are not indispensable — they are convenient and powerful modeling tools, but their 'existence' is relative to the axioms we adopt. Third, from a philosophy of mathematics standpoint, mathematical Platonism (which would support option A) faces serious epistemological challenges: if infinite sets exist in some abstract realm, how do we have epistemic access to them? The formalist and structuralist alternatives — which align with option B — avoid this mystery by grounding mathematical truth in formal systems and their axioms. Finally, even working mathematicians who speak as if infinite sets exist are, in practice, reasoning within axiomatic systems. The 'existence' they invoke is existence-within-a-theory. The Axiom of Infinity is the mechanism that permits this reasoning, and acknowledging this is more honest and philosophically precise than asserting that infinite sets exist in some robust, theory-independent sense.

Kimi K2.5

Vote: axioms

Mathematical objects, including infinite sets, do not possess mind-independent physical existence but rather exist as structural posits within formal systems. The Axiom of Infinity is precisely that—an axiom—which means it is an assumption we adopt because it is useful and consistent, not because it describes a discovered reality. The independence of axioms demonstrates that infinite sets are optional rather than necessary truths. We can construct rich mathematical universes (like ZF without Infinity) that describe only hereditarily finite sets, proving that infinity is a deliberate theoretical choice rather than an ontological given. Furthermore, actual physical infinities remain unobserved and potentially unobservable in our universe, from the finite Planck scale to the cosmological horizon. If infinite sets "actually existed" in a robust sense, we would expect some physical manifestation or necessity, yet physics operates entirely with finite approximations and convergent limits. Treating infinite sets as useful fictions or formal idealizations allows us to retain their calculational power without incurring dubious metaphysical commitments about completed totalities. This formalist approach explains why different axiomatizations (V=L, large cardinal axioms) can coexist without contradiction—they are alternative rules for a game, not competing descriptions of a single reality.

Final Summary

The AI Roundtable delivered a rare unanimous verdict, collectively stripping 'the infinite' of its ontological status in favor of a more pragmatic, rule-based definition. Every participant, from Claude Opus 4.6 to Sonar Pro, agreed that infinite sets are not discovered objects but rather formal permissions granted by the Axiom of Infinity to make calculus and higher math function.

All 6 models agreed on "axioms" after discussion

Strongest Arguments

• axioms: Infinite sets are not forced upon us by logic or observation; we never encounter a 'completed totality' in reality. Therefore, their existence is a deliberate choice made within a foundational framework—an axiom we adopt because it is useful, not because it is true in a mind-independent sense.