Die Antinomien

Zusammenfassung

Die Cantorsche Mengenlehre wurde zu Beginn des 20. Jahrhunderts für viele Mathematiker und Philosophen suspekt, als Russell den Nachweis erbrachte, daß man auf in sich widerspruchsvolle (nicht „konsistente“) Mengen stößt, wenn man den Cantorschen Mengenbegriff in uneingeschränkter Allgemeinheit anwendet. Hier kann die Beschäftigung mit Cantors Korrespondenz zu der Erkenntnis verhelfen, daß Cantor selbst schon Jahre zuvor die Möglichkeit solcher Antinomienbildung erkannt hatte. Wir wissen das aus seiner Korrespondenz mit Hilbert aus den Jahren 1897 und 1898. Der Schöpfer der Mengenlehre argumentiert, daß er ja immer verlangt habe, daß die Mengen „wohl definiert“ sein müssen. Und in sich widerspruchsvolle Mengen sind eben nicht wohldefiniert. Später hat er noch hinzugefügt, daß die Mengen auch „fertig“ sein müssen.