# 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](/codex/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](/codex/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](/codex/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](/codex/anselm/)'s account of necessary truth, [Leibniz](/codex/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](/codex/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](/codex/genesis-1-1/); [Heb 11:3](/codex/hebrews-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](/codex/romans-4-17/), "God who calleth those things which be not as though they were"; [Col 1:16](/codex/colossians-1-16/); [Jn 1:3](/codex/john-1-3/)) and patristic (Theophilus of Antioch, *To Autolycus* II; Irenaeus, *Against Heresies* II.10; [Tertullian](/codex/tertullian/), *Against Hermogenes*) and conciliar (Lateran IV, 1215: *creatio ex nihilo*). ### 2. Privation theory of evil Augustine and [Aquinas](/codex/thomas-aquinas/) (drawing on [Aristotelian](/codex/aristotle/) *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](/codex/problem-of-evil/): if evil is not a *thing* God created, then God's creating only good things ([Gen 1:31](/codex/genesis-1-31/), "behold, it was very good") is consistent with evil's existence. Evil exists as *privation*, not as *positive creature*. See [Privation](/codex/privation/) and [Evil as Privation of Good](/codex/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](/codex/actus-purus/), [Ipsum Esse Subsistens](/codex/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](/codex/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](/codex/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: 1. **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. 2. **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. 3. **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](/codex/argument-from-mathematical-truth/). 4. **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](/codex/genesis-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. 5. **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](/codex/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](/codex/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](/codex/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](/codex/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](/codex/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](/codex/psalms-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](/codex/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](/codex/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](/codex/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](/codex/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. ## See also - [Argument from Mathematical Truth](/codex/argument-from-mathematical-truth/), the structured argument from necessary mathematical truths to a necessary mind - [Privation](/codex/privation/), [Evil as Privation of Good](/codex/evil-as-privation-of-good/), privation theory of evil - [Actus Purus](/codex/actus-purus/), God as pure act - [Ipsum Esse Subsistens](/codex/ipsum-esse-subsistens/), God as subsistent being-itself - [Necessary vs Contingent Being](/codex/necessary-vs-contingent-being/), the modal-ontological frame - [Foundationalism](/codex/foundationalism/), epistemic structure that 0's foundational role in math parallels - [Laws of Logic](/codex/laws-of-logic/), adjacent territory; same Augustine / Anselm / Leibniz / Plantinga apologetic move - [Theories of Truth](/codex/theories-of-truth/), how truth and mathematical truth interact - [Aquinas Five Ways](/codex/aquinas-five-ways/), classical natural-theology framework - [Cumulative Case for Christian Theism](/codex/cumulative-case-for-christian-theism/), the place this argument sits within the broader apologetic - [Origins and Cosmology](/codex/origins-and-cosmology/), adjacent synthesis on creation - Passages: [Genesis 1.1](/codex/genesis-1-1/), [John 1.1-3](/codex/john-1-1-3/), [Romans 4.17](/codex/romans-4-17/), [Hebrews 11.3](/codex/hebrews-11-3/), [Colossians 1.16](/codex/colossians-1-16/), [Psalms 90:2](/codex/psalms-90-2/), [Isaiah 45.18](/codex/isaiah-45-18/), [Genesis 1.31](/codex/genesis-1-31/) - Entities: Augustine (*Confessions* / *De Genesi*); [Thomas Aquinas](/codex/thomas-aquinas/) (*ST* I qq. 3-4, 44, 48-49); Anselm; Aristotle (*Physics* IV; *steresis* / privation); Boethius; [Alvin Plantinga](/codex/alvin-plantinga/) - [Stealing from God Argument](/codex/stealing-from-god-argument/), Turek's CRIMES; the C/R/I (Causality / Reason / Information) legs touch the same territory ## Common questions this page answers **Q: Does zero exist?** It depends on what "exist" means. Zero exists as a symbol, as a concept (humans began using it systematically in 7th-century India), and as a mathematical object (the cardinality of the empty set; the additive identity). But there is no zero you can pick up and put in a box. Mathematical Platonists hold zero exists as an abstract object; nominalists deny abstract existence; theistic Platonists ground abstract objects in God's mind. **Q: What is the difference between mathematical zero and 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. The slide between the two does most of the work in popular "universe from nothing" arguments. Conflating mathematical zero (a positive object) with metaphysical nothing (no object) is one of the most consequential category errors in popular cosmology. **Q: Does Lawrence Krauss's "universe from nothing" really mean nothing?** No. Krauss's *A Universe from Nothing* (2012) uses "nothing" to mean a quantum vacuum, which has structure, energy fields, and physical laws. Philosopher David Albert's *New York Times* review (2012) pressed this point: a quantum vacuum is *something*, not metaphysical nothing. The cover promised a universe from nothing; the book delivers a universe from something physics does not yet fully understand, which is interesting but is not what was advertised. See Creation Ex Nihilo. **Q: What does creation ex nihilo mean?** *Creation ex nihilo* ("creation out of nothing") is the classical Christian doctrine that God created the universe with no prior substrate, no pre-existing matter, time, or space from which it was shaped. This is stronger than any physical "from nothing": there is no quantum vacuum, no zero-point energy, no anything before God's creative act. Defended by [Augustine](/codex/augustine/) (*Confessions* XII-XIII) and [Aquinas](/codex/thomas-aquinas/) (*Summa Theologiae* I.44-46); contemporary defenders include [William Lane Craig](/codex/william-lane-craig/) and [Hugh Ross](/codex/hugh-ross/). **Q: How does this relate to evil and privation?** The Augustinian-Thomist privation theory of evil holds that evil is the *absence of due good*, not a positive substance. Blindness is the privation of sight in a being that ought to see; rust is the privation of structural integrity in iron. This connects to the metaphysics of nothing: privations are real absences but not separate entities. The privation account dissolves several versions of the [Problem of Evil](/codex/problem-of-evil/) by denying that evil is a *thing* God created. See [Privation](/codex/privation/) and [Augustine](/codex/augustine/).