What does exactly mean? How many infinities are there? I've heard there are more than infinite infinities? What does that mean? Is that true? Will anyone ever be able to know how many infinities there are? Does God know how many there are? Are there so many that God doesn't even know?
2 Answers
Let me address the mathematical parts of the question.
Infinity can be treated formally in set theory, in the form of cardinality. In set theory we can define what is a finite set, and an infinite set is a set which is not finite. Infinities can be thought of as the cardinality of an infinite set.
Do note, however, this is not the same infinity from calculus. This is a very different notion of infinity, and it is much more well-defined. Indeed in the context of calculus there is only one infinity, or two if you count both the positive and the negative one.
But in set theory, we can talk about cardinalities of infinite sets. And indeed there is more than just one cardinality of an infinite set. For example the size of the real numbers is strictly larger than that of the integers. So there are at least two infinite cardinals which are distinct. But wait, there's more. Every cardinality has a larger cardinality.
If $A$ is a set, we write $\mathcal P(A)$ for the power set of $A$, which is the set of all the subsets of $A$. One of the basic theorems of set theory tell us that the cardinality, or the size, of $\mathcal P(A)$ is always strictly larger than that of $A$.
From the above property follows that there are infinitely many different sizes of infinite cardinals. But more can be said, the collection of all the different cardinals is too big to be a set, which means that we cannot coherently assign a notion of size to that collection.
The analogy is that the collection of finite subsets of integers is not finite itself. If we can only measure sizes of finite objects, then measuring the size of the collection $\{A\mid A\text{ is a finite set of integers}\}$ is impossible. Set theory allows us to extend measuring the size of sets to infinite sets as well, but not every infinite collection is a set and so some collections cannot be assigned a cardinality, or size.
That is what it means that there are infinitely many infinities, and that the collection of all infinities is not an infinite set itself -- it's not even a set!

- 393,674
-
Just a note for the OP's benefit: if desired, one can make the notion of $\infty$ for Calculus precise in terms of the one-point or two-point compactification of $\mathbb{R}$. There are many mathematically interesting and useful way to talk about infinity. (But whether any one of them has to do with theology may be considered "not a real question" by many users of this site.) – Trevor Wilson May 06 '13 at 23:48
-
To link between Trevor's comment and my answer, while we can formalize the idea of a $\infty$ via a "point in infinity" sort of approach, there is still a difference in the way it signifies quantity; whereas the set theoretical definition of cardinals have a very well-understood definition of how they signify quantity. Even if that well-understood definition is far from being naively well-understood... – Asaf Karagila May 06 '13 at 23:50
-
In both cases the mathematics is well-understood, but I think that the connections to physical or metaphysical notions of quantity may be less well understood. – Trevor Wilson May 06 '13 at 23:58
-
Yes, that was the point of my previous comment. Thanks for your addition. It's not the first time my thoughts are unclear... :-) – Asaf Karagila May 07 '13 at 00:04
-
I see. In my interpretation, there seemed to be some bias toward set theory showing through :) – Trevor Wilson May 07 '13 at 00:10
-
In the world of natural numbers it is known that $2 ^ a \neq 3 ^ b$ for any pair of positive integers a and b. This is true for any pair of primes.
So if we believe there is only one infinitely large natural number ($\infty$)
From the above statement: $2 ^ \infty \neq 3 ^ \infty$
Let $2 ^ \infty $ be $\infty_{2}$
Let $3 ^ \infty $ be $\infty_{3}$
Then $\infty_{2}$ and $\infty_{3}$ are two distinct infinitely large natural numbers.
Since there is an infinite number of primes we could have chosen in place of 2 and 3, the implication is that there is an infinite number of infinitely large natural numbers.

- 212
-
-
@asaf-karagila Let's face it, the conept of infinity is as much phylosophical as it is mathematical, but is there a flaw in my logic? – Alan Gee Jun 29 '15 at 12:06
-
:)
I think that this is a perfectly valid mathematical question. – apnorton May 06 '13 at 22:27