Das ist eine sehr gute Frage (deswegen passt sie auch zu dieser seite ;-))

Die Antwort ist: Es gibt tatsächlich mehrere Unendlichkeiten. Dazu muss man zunächst überlegen, was Zahlen im Allgemeinen sind. Man kann sie als Kardinalzahlen auffassen, dass heißt als Anzahl von Elementen in einer Menge. Wenn ich eine Obstschale mit fünf Äpfeln habe, dann bilden die Äpfel eine Menge und die Anzahl ihrer Elemente ist fünf. Nun gibt es Mengen, wie die Menge aller natürlichen Zahlen, die unendlich groß sind, so dass man unendlich als den Wert der Anzahl der Elemente dieser Mengen ansehen kann. Dann stellt sich die Frage, ob alle Mengen mit unendlich vielen Elementen gleich viele Elemente haben, ob also alle Unendlichkeiten gleich groß sind. Formal kann man das so ausdrücken: Kann man zu je zwei unendlichen Mengen eine Zuordnung finden, die jedem Element aus der einen Menge eindeutig ein Element aus der anderen Menge zuordnet und umgekehrt? Ein Beispiel: Ich erwähnte bereits die unendliche Menge der natürlichen Zahl, eine weitere unendliche Menge ist die der ganzen Zahlen, also die der natürlichen Zahlen und der negativen ganzen Zahlen. Auf den ersten Blick würde man sagen, sie enthält doppelt so viele Elemente wie die Menge der natürlichen Zahlen, weil sie zu jeder natürlichen Zahl auch die entsprechende negative Zahl enthält, allerdings kann man wie oben erwähnt eine Zuordnung definieren, die die Mengen gleich groß erscheinen lässt, nämlich 0->0, 1->1, 2->-1, 3->2, 4->-2, 5->3, 6->-3, 7->4, usw. Das kann man dann salopp so ausdrücken, dass zweimal unendlich gleich unendlich ist.

Nun kann man zu jeder Menge eine weitere Menge konstruieren und zwar die Menge aller Teilmenge. Diese wird auch Potenzmenge genannt. Zum Beispiel ist die Potenzmenge zu {0,1,2} die Menge {{},{0},{1},{2},{0,1},{0,2},{1,2},{0,1,2}}. Allgemein verhält es sich so, dass wenn eine Menge n Elemente hat, dann hat ihre Potenzmenge 2^n Elemente. Man kann aber beweisen, dass man zu einer unendlichen Menge und ihrer Potenzmenge keine wie oben erwähnte Zuordnung findet. Das heißt, die Potenzmenge hat wesentlich mehr Elemente als die ursprüngliche Menge, oder wiederum salopp ausgedrückt: 2^unendlich ist wesentlich größer als unendlich.