War die Mengenlehre Georg Cantors zunächst durchaus umstritten gewesen, wurde sie seit Beginn des 20. Jahrhunderts nach und nach von immer mehr Leuten als unentbehrliche Grundlage für die Strukturierung der Mathematik angesehen. Das von Ernst Zermelo in „Untersuchungen über die Grundlage der Mengenlehre“ 1908 eingeführte Axiomensystem bewährte sich in der Praxis und wurde allgemein anerkannt,…