Allklasse
Die Allklasse bezeichnet die Klasse, die alle Elemente einer mathematischen Theorie enthält; in der Mengenlehre ist das die Klasse aller Mengen. Die Allklasse wird heute präzise definiert durch eine beliebige Eigenschaft, die alle Elemente erfüllen, das heißt, über eine Tautologie, also etwa als die Klasse formula_1 oder auch 
formula_2, formula_3. 

Die Allklasse wurde schon von Georg Cantor als „System aller denkbaren Klassen“ gebildet. Er zeigte 1899 mit einem indirekten Beweis, dass die Allklasse keine Menge ist: Wäre nämlich die Allklasse eine Menge, dann wäre die Potenzmenge der Allklasse eine Teilmenge der Allklasse und damit keine mächtigere Menge, wie es der Satz von Cantor verlangt. Dieser Widerspruch ist die zweite Cantorsche Antinomie, die zeigt, dass es keine "Allmenge" oder Menge aller Mengen gibt, sondern dass diese Mengenbildung der naiven Mengenlehre widersprüchlich ist. Die Allklasse ist daher ein sehr einfaches Beispiel einer echten Klasse. 

Die Allklasse ist zu unterscheiden von der Russellschen Klasse, die bei der Einstufung als Menge die Russellsche Antinomie erzeugt. Im Rahmen üblicher Mengenlehren kann die Allklasse ebenfalls keine Menge sein, da dann aufgrund des Aussonderungsaxioms die Russellsche Klasse ebenfalls eine Menge wäre. Da die meisten gängigen axiomatischen Mengenlehren das Aussonderungsaxiom oder ein Äquivalent beinhalten, ist in ihnen die Allklasse keine Menge, genauer gibt es keine Allmenge, das heißt
:formula_4
ist in ihnen widerlegbar. Ebenfalls aufbauend auf dem Aussonderungsaxiom führt die Cantorsche Antinomie zum selben Ergebnis. Manche Mengenlehren erlauben allerdings den Umgang mit echten Klassen und damit auch der Allklasse als von den Mengen separaten Objekten ("siehe auch Klassenlogik").

Nimmt man das Fundierungsaxiom an, wie es in der Zermelo-Fraenkel-Mengenlehre und der Neumann-Bernays-Gödel-Mengenlehre geschieht, so ist die Allklasse gleich der Russellschen Klasse.
Q217594
Klasse
Concept
Q12482
Mengenlehre
Concept
Q209555
Tautologie
Concept
Q217594
Klasse
Concept
Q76420
Georg Cantor
PER
Q14402006
indirekten Beweis
Concept
Q36161
Menge
Concept
Q205170
Potenzmenge
Concept
Q474881
Satz von Cantor
MISC
Q379078
Cantorsche Antinomie
Concept
Q903783
naiven Mengenlehre
Concept
Q217594
echten Klasse
Concept
Q33401
Russellsche Antinomie
Concept
Q780487
Aussonderungsaxiom
Concept
Q379078
Cantorsche Antinomie
Concept
Q1297858
Klassenlogik
UNK
Q470981
Fundierungsaxiom
Concept
Q191849
Zermelo-Fraenkel-Mengenlehre
MEDIA
Q278770
Neumann-Bernays-Gödel-Mengenlehre
MEDIA
Q2649292
Allklasse
Concept
Q2649292
Allklasse
Concept
Q2649292
Allklasse
Concept
Q2649292
Allklasse
Concept
Q2649292
Allklasse
Concept
Q2649292
Allklasse
Concept
Q2649292
Allklasse
Concept
Q2649292
Allklasse
Concept
Q2649292
Allklasse
Concept
Q2649292
Allklasse
Concept
Q2649292
Allklasse
Concept
Q2649292
Allklasse
Concept
Q2649292
Allklasse
Concept
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+3^^http://www.w3.org/2001/XMLSchema#decimal
3
NUMBER
+4^^http://www.w3.org/2001/XMLSchema#decimal
4
NUMBER
subclass of
subclass of
subclass of
studies
part of