Concept

Infinity

Intro

Infinity gets thrown around as if it were one thing. It is not. The word covers at least five different ideas, and a lot of confusion in arguments about God comes from sliding between them.

There is the kind of infinity that just keeps going. The natural numbers, 1, 2, 3, never stop. You can always add one more. Aristotle called this potential infinity. At any moment you have a finite number; only the rule that lets you go further is unbounded. That is harmless and ordinary.

Then there is actual infinity, an infinite totality treated as complete. All the natural numbers gathered into one set. The whole past taken as already-here. Aristotle said this could not exist in concrete reality, only in math. That intuition is the engine of the Kalam Cosmological Argument: the past cannot be an actual infinite, so the universe must have a beginning.

Then in the 1880s Georg Cantor proved Aristotle wrong about math itself. Cantor showed there are different sizes of actual infinity, and they stack up forever, each one bigger than the last, with no maximum. He called the limit of the whole tower the Absolute Infinite and identified it explicitly with God. Modern set theory still cannot put the Absolute inside its own formal system; it has to call it too big to be a set. Math, doing pure math, runs into a horizon it cannot cross.

Theology has a fourth sense, qualitative infinity. God is infinite not by being the biggest item in the universe (a billion is not closer to God than seven is) but by being outside the genus of finite beings altogether. He is being itself. Saying God is infinite is more like saying "the rules don't apply to him" than "the rules apply but the number is very large." Gregory of Nyssa and Aquinas built whole spiritual lives around this.

Finally there is temporal infinity, eternity (timeless) versus everlasting (lasting forever inside time). The Bible uses both.

Why does this matter? Because every time someone says "God is infinite, that's incoherent," or "infinity makes the cosmological argument impossible," they are usually conflating two of these senses. Sort them out and the puzzles often dissolve. Even better: when mathematics itself reaches an apophatic horizon, the formalism cannot contain, that horizon looks a lot like the God classical theology has been describing for fifteen hundred years.

In full

Infinity is the concept of unboundedness, of a magnitude, multitude, perfection, or duration that exceeds every finite limit. The notion is double-loaded apologetically. It functions as a deity attribute (God is infinite in being, knowledge, power, presence, and duration); as the load-bearing premise of cosmological arguments that the past cannot be an actual infinite (the Kalam); and as a mathematical witness, Cantor's transfinite hierarchy and Gödel's incompleteness pointing apophatically at a horizon the formalism cannot contain. Mathematics, theology, and metaphysics converge on the infinite as exactly the place where finite formalism breaks down. That convergence is itself argument-shaped: see Argument from Apophatic Convergence.

Senses of "infinity"

The word has carried at least five distinct senses in the tradition. Apologetic clarity demands keeping them separate.

Potential vs actual infinite

The distinction Aristotle bequeathed to the West. A potential infinite is a finite quantity that grows without bound, the natural numbers as a sequence you can always extend by one, time as a duration you can always add another second to. At any moment it is finite; only its capacity-to-be-extended is unlimited. An actual infinite is a completed totality of infinitely many members, the set of all natural numbers taken as a single object, all moments of past time taken together as already-existing. Aristotle (Physics III.4-8) accepted potential infinity in mathematics and rejected actual infinity in concrete reality. Aquinas inherited the distinction and qualified it: only God exists as actually infinite in being; created actual infinites are impossible. The distinction is the philosophical engine of the Kalam (see Argument from the Impossibility of an Actual Infinite Past).

Quantitative infinite (Cantor's transfinites)

Georg Cantor (1874-1897) overturned the classical consensus by constructing a hierarchy of actually infinite cardinalities. The cardinality of the natural numbers (denoted aleph_0, "aleph-null") is the smallest infinite. The cardinality of the real-number continuum is strictly greater (Cantor's diagonal argument, 1891). The power-set operation generates an unending tower of larger infinities: aleph_1, aleph_2,... no maximum. Cantor called the limit-totality of all cardinalities the Absolute Infinite (Ω, Absolutum) and explicitly identified it with God in his correspondence with Cardinal Franzelin (1886). Modern set theory (ZFC) treats Ω as a proper class, formally "too big to be a set", which is the apophatic move inside the formalism. See Argument from the Reality of Mathematical Infinity.

Qualitative infinite (apophatic perfection)

The classical theological sense: God is infinite not by piling up finite quantities but by exceeding the genus. Divine infinity is modal, not metric. God is not "the biggest being", God is Being-itself, Ipsum Esse Subsistens, whose perfection exceeds every categorial limit. This is the sense Gregory of Nyssa develops in Life of Moses (the soul's infinite ascent into ever-greater divine darkness); Pseudo-Dionysius in Divine Names and Mystical Theology; Aquinas in ST I q.7 ("the divine essence is infinite"). Apophatic theology is the via negativa: every positive predicate must be both affirmed and negated of God, because God's mode exceeds the predicate's mode. See Divine Simplicity, Aseity.

Temporal infinite (eternity vs everlasting)

Two distinct construals of unending duration:

Everlasting (sempiternal): existing through all time, with infinite past and infinite future. This is Newton's absolute time, the everlasting universe of classical Greek cosmology, and (on some readings) Craig's post-creation God.
Eternal (timeless): existing outside the temporal series altogether. Boethius (Consolation V.6): "interminabilis vitae tota simul et perfecta possessio", the simultaneously-whole-and-perfect possession of unending life. Aquinas, Anselm, and most of the classical tradition take this as the divine mode. God doesn't endure through infinite time; God is outside time. See Eternity (Divine).

Spatial infinite

Less developed in the theological tradition but apologetically active. Omnipresence is God's spatial infinity, God is not located in space but is present to every point of space without spatial extension. Cantor's hierarchy applied to space yields questions about whether spatial infinitudes are actual (Newton's absolute space, Spinoza's res extensa) or merely potential (Aristotle's bounded cosmos). Modern cosmology takes no determinate position; the question is unsettled.

Key thinkers

Aristotle (384-322 BC), established the potential-vs-actual distinction; rejected actual infinity in concrete reality (Physics III.4-8); allowed only potential infinity. The dominant Western view until Cantor.

Thomas Aquinas (1225-1274), ST I q.7: God alone is actually infinite in being; created actual infinites are metaphysically impossible. The qualified-actual position: divine infinity is permitted because God is not a being among others (and so not subject to the finite-additive logic that generates Hilbert-style paradoxes), while creaturely actual infinites would be subject to that logic and so impossible.

Georg Cantor (1845-1918), invented modern set theory; constructed the transfinite hierarchy; identified the Absolute Infinite with God in correspondence with Cardinal Franzelin (1886) and in published papers ("Mitteilungen zur Lehre vom Transfiniten", 1887-88). Famously: "I have no doubt as to the truth of the transfinite, which I have recognized with God's help." See Joseph Dauben, Georg Cantor: His Mathematics and Philosophy of the Infinite (1979).

David Hilbert (1862-1943), gave the Hilbert's Hotel paradox (1924 lecture, "Über das Unendliche"): a hotel with infinitely many rooms, all occupied, can still accommodate new guests by shifting each occupant one room down. The paradox shows that actual-infinite collections violate basic intuitions about subtraction and combination. Hilbert: "The infinite is nowhere to be found in reality."

Kurt Gödel (1906-1978), incompleteness theorems (1931): any sufficiently rich formal system contains true statements it cannot prove, and cannot prove its own consistency. The result extends the limit-breakdown pattern from set theory into all of formal mathematics. Gödel was a theist and a Platonist; his unpublished modal ontological argument (in his Nachlass) explicitly connects formal-limit structure to classical theism.

Bertrand Russell (1872-1970), Russell's paradox (1901): the set of all sets that do not contain themselves cannot consistently exist. The paradox forced the rebuilding of set theory on restricted-comprehension axioms (ZFC, type theory). Russell himself was an atheist; the paradox is a formal result, not a theological one, but it formalizes precisely the breakdown-at-the-limit that the apophatic tradition had described for a millennium.

Cesare Burali-Forti (1861-1931), Burali-Forti paradox (1897): the set of all ordinals would itself be an ordinal greater than any in it. Predates Russell's paradox and is structurally similar; both pin down the same impossibility-of-totalization at the limit.

Pseudo-Dionysius the Areopagite (c. 500), Divine Names, Mystical Theology. The locus classicus of apophatic theology. God is "beyond being," "beyond goodness," "beyond oneness"; positive predicates fail at the limit and must be both affirmed and negated.

Gregory of Nyssa (c. 335-395), Life of Moses II: the soul's epektasis (ever-greater stretching forward into divine darkness). Divine infinity is qualitative and apophatic; the creature's knowledge of God is itself infinite-in-progress because the object of knowledge is infinite-in-itself.

Maximus the Confessor (c. 580-662), Ambigua: apophatic / cataphatic balance; Christ as the peras (limit) that the infinite divine takes on in the Incarnation. The hypostatic union joins finite and infinite without confusion.

Rudy Rucker (b. 1946), Infinity and the Mind (1982). Modern popularizer of the Cantor-Gödel-apophatic synthesis for non-mathematicians. Argues that the Absolute Infinite, the One, the Ein Sof, and the Christian God are converging names for the same horizon.

William Lane Craig (b. 1949), modern defender of the Kalam's actual-infinite-impossibility premise (The Kalām Cosmological Argument, 1979; Reasonable Faith, 2008, ch. 3). Draws on al-Ghazali and on Hilbert-style paradoxes to argue that an actually infinite temporal regress is metaphysically impossible, therefore the universe began.

Augustine (354-430), City of God XII.18-19; De Libero Arbitrio II. God's knowledge embraces infinite multitudes simultaneously; eternal truths require an eternal mind; mathematical infinity is grounded in divine intellect.

Why infinity points to God

Four lines of argument convert the data of infinity into apologetic content:

(a) Actual infinite past is paradoxical → universe began → cause needed

The Kalam Cosmological Argument (see Kalam Cosmological Argument; Argument from the Impossibility of an Actual Infinite Past) runs:

An actual infinite cannot exist in concrete reality (Hilbert's Hotel, Tristram Shandy, Grim Reaper paradoxes).
An infinite temporal regress of past events would be a concrete actual infinite.
Therefore the past is finite, the universe began.
Whatever begins to exist has a cause; the universe began; therefore the universe has a cause, timeless, immaterial, enormously powerful, personal.

Cantor's mathematics does not refute the premise: Cantor explicitly distinguished actual infinite in concreto (impossible) from actual infinite in abstracto (legitimate as mathematical abstraction). Hilbert himself: "The infinite is nowhere to be found in reality." The transfinite hierarchy is a fact about set-theoretic structure, not about concrete past time.

(b) Divine attributes require true infinity

The classical divine attributes are all infinitary:

Omnipotence, infinite power; able to bring about every metaphysically possible state.
Omniscience, infinite knowledge; embracing every truth, including the (Cantorian) actually-infinite totality of all mathematical truths.
Omnipresence, infinite presence; not located in space but present to every point of space.
Eternity, infinite duration in the timeless-totality sense (Boethius) or in the everlasting sense (Craig).
Aseity, self-existent infinity; God's infinity is not received from another, but is the divine essence itself (Ipsum Esse Subsistens).

A merely-finite being could not be God. A being with finite power could in principle be exceeded; a being with finite knowledge could be ignorant of some truth; a being with finite presence could be absent somewhere. The classical conception of God as that than which no greater can be conceived (Anselm) entails infinity-in-every-perfection. Therefore: if God exists, God is infinite. Conversely, the data of infinity, that we encounter unbounded perfection-language coherently, is consistent with there being a being that satisfies it.

(c) Mathematical infinities exist objectively → require grounding in an infinite Mind

If Cantor's transfinite cardinals are real mathematical objects we discover (mathematical Platonism), and if abstracta require grounding in a concrete necessary being (theistic conceptualism), then the infinite hierarchy of cardinals requires grounding in an infinite mind. The argument is developed at Argument from Mathematical Truth (foundational) and at Argument from the Reality of Mathematical Infinity (the specific infinity-application). Augustine: eternal truths require an eternal mind; mathematical infinities are eternal truths; therefore a mind that grounds mathematical infinity is itself infinite-and-eternal, which is God.

(d) Formal systems encounter apophatic breakdown at the absolute infinite

Every sufficiently-rich formal system runs into limit-breakdown of the same structural shape:

Set theory: Russell's paradox, Burali-Forti, Cantor's paradox on V (the universe of all sets). The limit cannot be totalized as a set.
Arithmetic: Gödel's incompleteness, true statements unprovable; consistency unprovable from inside.
Computation: Turing's halting problem, no algorithm decides every halting question.

The breakdown is precise and constitutive: it is the formalism's way of acknowledging that what it grasps at exceeds it. This is exactly what classical apophatic theology said about God for fifteen centuries: positive predication breaks down at the limit, and the breakdown is itself the way the formalism (theology) acknowledges what exceeds it. The convergence is the Argument from Apophatic Convergence, see the page for the full debate-prep formulation. The two domains succeed by their failure, and they succeed at the same point.

Tensions / paradoxes

The infinite is the most paradox-generating concept in metaphysics. Several paradoxes are worth naming:

Cantor's paradox (c. 1899), the cardinality of the set of all sets would be both maximal and not maximal (since the power set is always strictly larger). Therefore no "set of all sets" can exist.

Russell's paradox (1901), the set of all sets that do not contain themselves cannot consistently exist. Naïve comprehension fails.

Burali-Forti paradox (1897), the set of all ordinals would itself be an ordinal greater than any in it. Therefore no "set of all ordinals" can exist.

Gödel's incompleteness theorems (1931), any sufficiently rich consistent formal system contains true statements it cannot prove, and cannot prove its own consistency.

Banach-Tarski paradox (1924), using the axiom of choice, a solid ball in three-dimensional space can be decomposed into finitely many disjoint subsets that can then be rearranged into two identical balls of the same size. The result is mathematically valid but physically absurd; it shows that the concept of "volume" cannot be well-defined for all subsets of three-space without breaking either choice or finite additivity. A cautionary tale about extending finite intuitions to infinite contexts.

Hilbert's Hotel paradoxes (1924), infinitely many rooms all occupied can still receive new guests; subtraction of infinity from infinity is undefined; etc. The paradoxes are not contradictions in Cantorian set theory (the operations are well-defined for transfinite cardinals), but they violate physical-finite intuitions and are deployed apologetically as evidence that concrete actual infinites are impossible.

Tristram Shandy paradox, if Tristram has been writing his autobiography for infinitely many years and takes a year to record each day, has he ever finished? Bertrand Russell argued yes (each day is eventually recorded); Craig argues no (the "infinitely many days behind" never closes). The argument turns on what "completed actual infinite" means; deployed by Craig in defense of the Kalam.

Grim Reaper paradox (Pruss, Koons), infinitely many Grim Reapers each set to kill Fred at a different time. The paradox produces contradictory determinations of when Fred dies; deployed against actual-infinite past.

Argument from the Impossibility of an Actual Infinite Past, the Kalam's P2 worked out as a stand-alone argument.
Argument from the Reality of Mathematical Infinity, Cantor's transfinites as a theistic argument.
Argument from Apophatic Convergence, the convergence of set-theoretic and theological breakdown at the limit.
Argument from the Apophatic Limit of Formal Systems, Gödel's incompleteness as inadvertent natural theology.
Kalam Cosmological Argument, the full Kalam case; P2 deploys actual-infinite-impossibility.
Argument from Mathematical Truth, the broader necessity-grounding argument; this hub specializes its infinitary case.
Modal Ontological Argument, the maximal-greatness argument turns on conceiving infinite perfection.
Aquinas Five Ways, the Second and Third Ways depend on the impossibility of infinite regress in causal series.

Key Passages

The biblical witness affirms divine infinity across both testaments.

Psalms 147:5, "Great is our Lord, and abundant in strength; His understanding is infinite." (NASB95) The clearest scriptural statement of divine infinite knowledge. See Psalms 147.5.
Isaiah 40:28, "Do you not know? Have you not heard? The Everlasting God, the LORD, the Creator of the ends of the earth does not become weary or tired. His understanding is inscrutable." (NASB95) Divine understanding exceeds creaturely capacity to fathom, apophatic-style transcendence.
Job 11:7, "Can you discover the depths of God? Can you discover the limits of the Almighty?" (NASB95) Rhetorical question presupposing that God has no creaturely-graspable limit.
1 Kings 8:27, "But will God indeed dwell on the earth? Behold, heaven and the highest heaven cannot contain You, how much less this house which I have built!" (NASB95) Solomon's dedication prayer; spatial infinity / omnipresence beyond every created container.
Psalms 90:2, "Before the mountains were born or You gave birth to the earth and the world, even from everlasting to everlasting, You are God." (NASB95) Temporal infinity / eternity. See Psalms 90.3 (adjacent).
Romans 11:33-36, "Oh, the depth of the riches both of the wisdom and knowledge of God! How unsearchable are His judgments and unfathomable His ways!" Apophatic doxology.
Ephesians 3:18-19, "the breadth and length and height and depth, and to know the love of Christ which surpasses knowledge." Christ's love as object of infinite spatial-style metaphor.
Psalms 19.1, "The heavens are telling of the glory of God; And their expanse is declaring the work of His hands." Creation as finite witness to infinite glory.
Isaiah 55:8-9, "For My thoughts are not your thoughts, nor are your ways My ways... so are My ways higher than your ways and My thoughts than your thoughts." See Isaiah 55.8-9. The structural-transcendence text.