Burali-Forti’s Antinomie

Burali-Forti’s Antinomie (1897, von Cantor 1895 entdeckt) ist eine logische Antinomie. Sie geht davon aus, dass jede wohlgeordnete Menge eine Ordnungszahl hat, nämlich die, zu der man kommt, wenn die Elemente der Menge gezählt werden. In der üblichen Mengenlehre kann man nur beweisen, dass die wohlgeordnete Menge aller Ordnungszahlen eine Ordnungszahl hat, die höher ist als jede Ordnungszahl in der Menge, also höher als jede Ordnungszahl.