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 ve...