Concept

Zero and the Metaphysics of Nothing

Intro

"Does zero exist?" sounds like a silly question until you sit with it. Zero is a number that counts the absence of things. The number of unicorns in your fridge is zero, and that zero is a perfectly good number you can add and multiply with. But the unicorn is not there. So is zero a thing or not?

The answer turns out to depend on what you mean by exist. Zero exists as a symbol. It exists as a concept (humans started using it systematically in the 7th century in India). It exists as a mathematical object (you can prove theorems with it). But there is no zero you can pick up and put in a box.

The trouble starts when people slide from "zero exists in math" to "nothing exists in metaphysics" and then to "the universe came from nothing." Those are three different claims. Mathematical zero is not philosophical nothing. Mathematical zero is something, a precise object that counts an absence. Philosophical nothing is the absence of any object at all, including any zero to count with.

When Lawrence Krauss titles a book A Universe from Nothing and means a quantum vacuum (which has structure, energy fields, and rules), he is using the word nothing in the math sense while sounding like he means the metaphysics sense. That slide does the work in his argument. Spot the slide, and the universe-from-nothing claim turns out to be a universe from something we don't yet fully understand, which is interesting, but it is not what the cover promised.

This page sorts those senses out, and then shows what creation from nothing in the Christian tradition actually means and why it is different from anything physics can deliver.

In full

The question "does 0 exist?" opens onto five distinct senses of "exists" and a metaphysical paradox that Parmenides first articulated and that classical theism has resources to handle better than secular naturalism. The hub distinguishes mathematical 0 (a positive object that measures absence, the cardinality of the empty set), philosophical nothing (the absence of any object whatsoever), privation (the absence of due being, Augustinian / Thomist), and creation ex nihilo (creation with no prior substrate). Conflating these is what underlies several confused philosophical debates (most prominently Lawrence Krauss's "universe from nothing"); keeping them distinct is what gives Christian metaphysics its grip on the territory.

The hub sits at the intersection of philosophy of mathematics, classical theistic metaphysics, and apologetic engagement with secular cosmology. It is not a mathematics hub, it does not give technical proofs about 0 in number theory or set theory, but a philosophical-theological hub on what 0 means and what it requires of us metaphysically.

Five senses of "exists" for 0

Asking "does 0 exist?" without specifying the sense of exist is the source of most confusion. There are at least five distinct senses, and 0 has different statuses in each.

Sense	Does 0 exist?	Note
Linguistic	Trivially yes	The symbol "0" is in our notation system
Conceptual	Yes, since AD 628	Brahmagupta's Brāhmasphuṭasiddhānta gave the first systematic treatment; transmitted via al-Khwārizmī (9th c.) and Fibonacci's Liber Abaci (1202)
Mathematical	Yes, robustly	Peano arithmetic: 0 is a primitive constant. ZFC: 0 = ∅ (empty set) via von Neumann ordinals. Frege: 0 = cardinality of the concept not identical with itself
Platonic / abstract object	Contested	Platonism: yes, mind-independent. Nominalism / fictionalism: no. Constructivism: yes but mind-constructed
Concrete physical particular	No	There is no "zero-thing" in the world

The honest one-line summary: 0 exists in every mathematically meaningful sense; contested as a Platonist abstract object; not a concrete physical particular.

Mathematical 0 vs philosophical "nothing", the critical distinction

Mathematical 0 is not identical to philosophical nothing. They are categorically different:

Mathematical 0 is a positive object that measures an absence. It is the cardinality of the empty set; the additive identity in arithmetic; the first ordinal in von Neumann's construction. It is something, a well-defined mathematical entity that obeys arithmetic laws.
Philosophical nothing is the absence of any object whatsoever, including the absence of any mathematical 0. To say "nothing exists" is not to say "0 exists"; it is to say "no thing exists, and there is not even a 0 around to count the absence."

Confusing these two is a category mistake. The number of unicorns in your fridge is 0, and 0 is a perfectly determinate mathematical object you can use in arithmetic, even though there is no unicorn. The number is not the unicorn (there isn't one); the number is the count.

This distinction is what dissolves the Parmenidean paradox.

The Parmenidean paradox

Parmenides' fragment B6 (Peri Physeos, c. 5th c. BC):

"What is, is. What is not, is not, and cannot be spoken of."

The challenge: to say "nothing is" seems to predicate being of nothing, which makes nothing a kind of being. To say "nothing is not" is just tautology. Either way, "nothing" cannot be coherently spoken of, but we keep speaking of it.

The modern dissolution: the apparent paradox arises only when we reify "nothing", treat it as a kind of object. Mathematical 0 is not nothing; it's the count of nothing, which is itself something positive (a number). Philosophical "nothing" is not a thing about which we can say it exists or doesn't exist; it is the absence of all things. To say "there is nothing" is to deny existence-claims, not to make existence-claims about a Nothing-substance.

This is the same move Augustine makes in Confessions on creation ex nihilo: God did not create out of a Nothing-stuff; God created with no prior substrate. "Nothing" in ex nihilo is the negation of any prior matter, not a quasi-material void. (See below on creation ex nihilo in detail.)

Historical accident: why the Greeks didn't have 0

The conceptual achievement of 0 is not obvious. The Greeks had no zero. Their geometric metaphysics treated number as plurality of units; "no units" wasn't a number on this scheme, it was the absence of a number. Aristotle's Physics IV.6-9 argued the void cannot exist: physical vacuum is impossible because nature requires plenum. The whole Greek mathematical-scientific tradition, geometry, music, astronomy, optics, operated for ~700 years without zero.

The breakthrough came in India:

Brahmagupta, Brāhmasphuṭasiddhānta (AD 628), first systematic mathematical treatment of 0 as a number, not as an absence. He laid out arithmetic rules: a + 0 = a; a − 0 = a; a × 0 = 0; he attempted division (correctly noting it problematic; modern math rules division by 0 undefined).
al-Khwārizmī (9th c., Baghdad) transmitted Indian numerals and zero (Arabic ṣifr, "empty") into the Arabic intellectual tradition; ṣifr gives us both zero and cipher.
Fibonacci's Liber Abaci (1202) introduced "Hindu-Arabic" numerals and 0 to medieval Europe.

Boethius and the medieval Latin West resisted zero into the 13th-14th centuries, partly on Aristotelian metaphysical grounds (no void can exist), partly because Roman numerals had no positional place for it. The Italian merchant adoption (driven by accounting and trade) eventually overrode the metaphysical resistance. Once positional notation became universal, calculus and modern algebra became possible.

The historical observation that 0 had to be invented, and was invented in India, not in the Aristotelian West, is significant philosophically. It tells us that "0" is not a self-evident given of common-sense thought. It is a conceptual achievement.

The mathematical objects 0 actually is

In any rigorous foundational system, 0 is a precisely-defined object:

Peano arithmetic

0 is a primitive constant ("0 is a natural number")
The successor function generates 1, 2, 3,... from 0
0 is not the successor of any natural number

ZFC set theory (von Neumann ordinals)

0 = ∅ (the empty set; the unique set with no elements)
1 = {∅} = {0}
2 = {∅, {∅}} = {0, 1}
3 = {0, 1, 2}
Each ordinal is the set of all preceding ordinals; 0 starts the recursion
The empty set is provable to exist uniquely in ZFC (Axiom of Empty Set + Axiom of Extensionality)

Frege (Grundlagen der Arithmetik, 1884)

0 = the cardinality of the concept not identical with itself
That concept has no objects falling under it; its cardinality is therefore the first cardinal, namely 0
This grounds 0 in pure logic without appealing to intuition

Algebraic structures

0 is the additive identity in any ring or group: 0 + a = a
0 is not the multiplicative identity (that's 1); 0 × a = 0 for all a
Division by 0 is undefined in the standard reals (it would require a value such that 0 × x = a for nonzero a, which contradicts 0 × x = 0)
0⁰ is conventionally 1 in combinatorics (empty product convention) and indeterminate in calculus (limit-dependent)

In all of these systems, 0 is a positive mathematical object, a determinate entity with determinate properties, not "nothing."

The Platonist question

The deeper philosophical question is whether 0 is mind-independent, whether it would still exist if there were no minds to count.

Mathematical Platonism (Frege, Gödel, Quine, Maddy)

Yes. Mathematical objects, including 0, exist as abstract entities, eternal, necessary, mind-independent. We discover mathematical truths; we don't invent them. The "unreasonable effectiveness of mathematics in the natural sciences" (Wigner, 1960) is best explained on Platonism: mathematics works because it tracks mind-independent reality.

Nominalism / Fictionalism (Field, Science Without Numbers, 1980)

No. Abstract objects don't exist. Mathematical talk is either eliminable (Field's program: rewrite physics without quantifying over numbers) or fictional (we talk as if 0 exists, but we are no more committed to its existence than we are to Sherlock Holmes's).

Constructivism / Intuitionism (Brouwer, Bishop)

Yes, but as constructed objects. Mathematical objects exist insofar as they can be constructed by mental operations starting from intuited primitives. 0 exists as the empty construction.

Structuralism (Resnik, Shapiro)

The interesting question is not "do mathematical objects exist" but "do mathematical structures exist." 0 is whatever plays the 0-role in the natural-number structure.

The Christian apologetic relevance comes through the Platonist line: if mathematical objects (including 0) exist as eternal, necessary, mind-independent entities, what grounds them? On naturalism, abstract objects are ontologically homeless, there is no naturalistic story of where eternal abstract objects reside or why they are necessary. On classical theism, the answer is ready: in the divine mind. Augustine's account of the rationes aeternae, Anselm's account of necessary truth, Leibniz's "the eternal truths are in the divine intellect," and modern Plantinga / Anderson-Welty all converge: God's mind is the metaphysical ground for the abstract objects mathematical Platonism wants. See Argument from Mathematical Truth for the structured argument.

Theological implications

The 0 question intersects classical Christian theology at five points.

1. Creation ex nihilo

The doctrine that God created the universe from nothing is shaped by exactly the 0 / nothing distinction.

Ex nihilo does not mean "out of a nothing-stuff" (as if God shaped a quasi-material void) or "out of zero" (as if 0 were a substrate).
Ex nihilo means "with no prior material", God's creative act is unconditioned by any pre-existing reality. Time, space, matter, energy, all are creatures.

Augustine, Confessions XII-XIII; De Genesi ad Litteram: he wrestles directly with the question of what "nothing" is in ex nihilo. His resolution: "nothing" is not a thing God used; it is the negation of any creaturely substrate. To say God created out of nothing is to say there was no anything else.

This parallels the mathematical 0 / philosophical-nothing distinction: just as mathematical 0 is not a thing but the count of an absence, the ex nihilo "nothing" is not a thing but the absence of any prior thing. Both are conceptual measures or negations, not substantial somethings.

The doctrine is biblical (Gen 1:1; Heb 11:3, "the worlds were framed by the word of God, so that things which are seen were not made of things which do appear"; Rom 4:17, "God who calleth those things which be not as though they were"; Col 1:16; Jn 1:3) and patristic (Theophilus of Antioch, To Autolycus II; Irenaeus, Against Heresies II.10; Tertullian, Against Hermogenes) and conciliar (Lateran IV, 1215: creatio ex nihilo).

2. Privation theory of evil

Augustine and Aquinas (drawing on Aristotelian steresis): evil is not a positive being but a privation of due good.

A blind eye is not a blindness-thing added to the eye; it is the lack of the seeing the eye ought to have.
Cancer is not a cancer-substance added to the body; it is disordered cellular function, the absence of the proper teleology of cells.
Sin is not a sin-thing attached to the soul; it is missing the mark (Greek hamartia, literally), the absence of due conformity to God's law.

This is structurally the 0-analogue at the metaphysical level: lack as measurable absence, not as additional being. Just as mathematical 0 is the count of nothing (a positive object measuring absence), privation is the measure of due-being-absent (a metaphysical category for what is missing).

The privation theory has apologetic force against the Problem of Evil: if evil is not a thing God created, then God's creating only good things (Gen 1:31, "behold, it was very good") is consistent with evil's existence. Evil exists as privation, not as positive creature. See Privation and Evil as Privation of Good in the codex for the full development.

3. God as ipsum esse subsistens

Aquinas's God is being-itself, the subsistent act of being, ipsum esse subsistens (ST I q. 4 a. 2). God has no admixture of non-being; God is pure act, actus purus (ST I q. 3 a. 1).

The pedagogical analogy (not theological identification): where 0 is the foundation of the number system as the additive identity (0 + n = n; 0 is the neutral element without which arithmetic loses structure), God is the foundation of being as that without which nothing else could be. Every contingent being depends on the necessary being for its existence; every privation depends on the prior reality of due being for its meaningfulness.

The analogy must not be over-pressed: God is not mathematical 0. Mathematical 0 is the cardinality of the empty set; God is fullness of being. The structural parallel is in foundation-role, not in content. Both are foundational to their respective domains. See Actus Purus, Ipsum Esse Subsistens.

4. The mathematical-Platonist apologetic

If 0 (and other abstract mathematical objects) are real Platonist entities, eternal, necessary, mind-independent, what grounds them?

The argument:

(P1) Mathematical truths are necessary, eternal, and mind-independent (Platonist premise).
(P2) Necessary, eternal, mind-independent abstracta require a metaphysical ground; they cannot just hang in the void.
(P3) The only metaphysical category capable of grounding eternal, necessary, mind-independent abstracta is a necessary mind.
(C) There exists a necessary mind that grounds the eternal, necessary, mind-independent mathematical truths and objects.

Augustine works this out in De Libero Arbitrio II and Confessions XII; Leibniz in his Monadology and Theodicy; Plantinga in Where the Conflict Really Lies and Warranted Christian Belief; Anderson-Welty in The Lord of Non-Contradiction. The full structured form is in Argument from Mathematical Truth in the codex.

The 0 question is a wedge into this argument. When the atheist concedes "yes, 0 exists" (in the Platonist sense), the apologetic move is: where? On naturalism, abstract eternal objects have no home. On classical theism, the divine mind is the ground.

The constructivist alternative, "we made 0 up", runs into the unreasonable-effectiveness problem (Wigner, 1960): if mathematics is just a human construction, why does it work so spectacularly to describe physical reality? Why does an equation derived purely formally describe the actual behavior of subatomic particles? The constructivist owes an account of this; the Platonist explains it as mathematics tracking real structure; the theistic Platonist further explains why there is real mathematical structure to track (because God's mind ordered creation along mathematical lines).

5. The Krauss / Albert exchange, "universe from nothing"

Lawrence Krauss's A Universe from Nothing (2012) argues the universe arose from "nothing", but his "nothing" is the quantum vacuum, which has structure: zero-point energy, virtual particles, the vacuum equation of state, gauge symmetries. David Albert's review in the NYT (March 23, 2012) was decisive:

"Vacuum states, no less than giraffes or refrigerators or solar systems, are particular arrangements of elementary physical stuff. The true relativistic-quantum-field-theoretical equivalent to there not being any physical stuff at all isn't this or that particular arrangement of the fields, what it is (obviously, and ineluctably, and on the contrary) is the simple absence of the fields!"

Krauss's "nothing" is physics-zero (a populated state with mathematical structure, a quantum field at minimum-energy configuration). Philosophical nothing is the absence of all such states, all fields, all of physics-as-such. The book is doing a bait-and-switch: when people ask "why is there something rather than nothing?", they are asking about philosophical nothing. Krauss answers about physics-zero. The question is not answered.

This is exactly the 0 / philosophical-nothing distinction at work. Mathematical 0 (or physics-zero, which has a similar structure) is a positive object; philosophical nothing is the absence of all positive objects. You cannot get philosophical nothing from mathematical 0 because mathematical 0 is already something. And you cannot get something from philosophical nothing because, by definition, there's nothing there to get something from.

Christian theology's creation ex nihilo doesn't claim God got the universe from a Nothing-stuff. It claims God created, brought into being, a universe that hadn't been. The act of creation is the explanation of why there is something rather than nothing; the Krauss "explanation" presupposes the very physical-mathematical structure (quantum field theory) whose existence the question is about.

Why this matters for apologetics

Five practical apologetic deployments:

When asked "why is there something rather than nothing?", first clarify the kind of nothing the questioner has in mind. Mathematical 0? Quantum vacuum? Philosophical absolute non-being? The first two are something; only the third is the actual something-vs-nothing question. If the questioner means absolute non-being, then no naturalistic story can answer the question (because any naturalistic story presupposes a populated something). Theistic creation is the kind of answer the question demands.
When the secular cosmologist says "the universe came from nothing", invoke Albert's critique. Press: is the "nothing" in question the quantum vacuum (a populated state with structure) or absolute non-being? If the former, the question hasn't been answered; if the latter, no naturalistic mechanism can produce something from it without smuggling in physical structure.
When the atheist appeals to mathematical Platonism, "yes 0 exists, but as an abstract object, not requiring a divine mind", press the grounding question. Where do abstract eternal necessary objects reside on naturalism? Mathematical Platonism without God is ontologically homeless; Christian theism has a ready ground in the divine intellect. See Argument from Mathematical Truth.
When the problem of evil is raised, the privation framework is the classical Christian response. Evil is not a positive thing God created but a measure of due-being-absent. This handles Gen 1:31's "behold, it was very good" while accommodating the reality of evil. The mathematical-0 / privation analogy (positive measure of absence) makes the move concrete.
When pressed on creation ex nihilo, distinguish the mathematical 0 / philosophical nothing senses. Ex nihilo means with no prior substrate, not out of a Nothing-stuff. Augustine's Confessions XII and De Genesi ad Litteram are the classical resources.

Connection to scripture

Genesis 1:1, "In the beginning God created the heaven and the earth." The opening claim of scripture is ex nihilo-shaped: there is a beginning; God creates; the universe is not eternal alongside God.
John 1:1-3, "In the beginning was the Word... All things were made by him; and without him was not any thing made that was made." The exhaustive claim, no created thing has any source other than God's creative agency. No prior substrate.
Romans 4:17, "God, who quickeneth the dead, and calleth those things which be not as though they were." The God who creates by speaking, calling the non-existent into existence by His word. The strongest single biblical statement of ex nihilo metaphysics.
Hebrews 11:3, "Through faith we understand that the worlds were framed by the word of God, so that things which are seen were not made of things which do appear." The visible creation is not made out of pre-existing visible material.
Colossians 1:16, "For by him were all things created... all things were created by him, and for him." All-inclusive scope.
Psalm 90:2, "Before the mountains were brought forth, or ever thou hadst formed the earth and the world, even from everlasting to everlasting, thou art God." God's eternality contrasts with creation's beginning.
Isaiah 45:18, "For thus saith the LORD that created the heavens; God himself that formed the earth and made it; he hath established it, he created it not in vain (lo' tohu)..." The creation is purposive, not chaotic; not made out of formless void as a substrate but called into ordered being.
Genesis 1:31, "And God saw every thing that he had made, and, behold, it was very good." The original goodness of creation that the privation theory of evil presupposes.
Job 38-41, God's whirlwind speeches presuppose God's pre-creational priority; "where wast thou when I laid the foundations of the earth?" frames creation as God's prior act.

Patristic / classical / modern engagement

Theophilus of Antioch, To Autolycus II (c. 180), early explicit Christian articulation of creatio ex nihilo against Greek philosophical assumptions of pre-existing matter.
Irenaeus, Against Heresies II.10 (c. 180), develops ex nihilo against Gnostic emanationism.
Tertullian, Against Hermogenes (c. 207), defends ex nihilo against Hermogenes' claim of co-eternal matter.
Augustine, Confessions XII-XIII; De Genesi ad Litteram (early 5th c.), extended treatment of what "nothing" means in ex nihilo; the rationes aeternae in the divine mind; classical foundation of mathematical Platonism in Christian form.
Boethius, De Trinitate and De Hebdomadibus (early 6th c.), Latin transmission of Aristotelian privation theory and being/non-being framework.
Aquinas, ST I qq. 3-4 (pure act, ipsum esse subsistens); q. 14 a. 5 (God's knowledge of mathematical truths in the divine essence); q. 44 a. 2 (creation ex nihilo); q. 48-49 (privation theory of evil). The locus classicus of all five theological points above.
Anselm, Monologion and Proslogion (11th c.), necessary truths grounded in the necessary being.
Brahmagupta, Brāhmasphuṭasiddhānta (AD 628), outside the Christian tradition but the originating text for treating 0 as a number.
Leibniz, Monadology; On the Ultimate Origination of Things (early 18th c.), eternal truths in the divine intellect; the principle of sufficient reason as a route from contingency to necessity.
Frege, Grundlagen der Arithmetik (1884); Grundgesetze (1893-1903), the modern logicist program; 0 as the cardinality of the concept not identical with itself.
Russell & Whitehead, Principia Mathematica (1910-1913), set-theoretic / type-theoretic foundations.
John von Neumann, "Zur Einführung der transfiniten Zahlen" (1923), the von Neumann ordinals identifying 0 with ∅.
Eugene Wigner, "The Unreasonable Effectiveness of Mathematics in the Natural Sciences" (1960), the canonical statement of why naturalism owes an account of mathematical applicability.
W.V.O. Quine, Word and Object (1960); Two Dogmas of Empiricism (1951), naturalist Platonism via indispensability.
Hartry Field, Science Without Numbers (1980), nominalist program; argues physics can be done without quantification over numbers.
Plantinga, Where the Conflict Really Lies (2011); Knowledge and Christian Belief (2015), necessary truths grounded in God's mind.
James Anderson and Greg Welty, "The Lord of Non-Contradiction" (Philosophia Christi, 2011), structured argument from logical and mathematical truths to a necessary mind.
Lawrence Krauss, A Universe from Nothing (2012), the position the apologetic critiques.
David Albert, "On the Origin of Everything: 'A Universe from Nothing'" (New York Times, March 23, 2012), the decisive philosophical critique of Krauss; required reading for the topic.
Edward Feser, Five Proofs of the Existence of God (2017); Aristotle's Revenge (2019), classical Thomist treatment of being / non-being / privation in modern apologetic register.
Robert Koons, Realism Regained (2000), Aristotelian-realist philosophy of mathematics.
Stephen Barr, Modern Physics and Ancient Faith (2003), Christian physicist on the metaphysics of physics-zero.