Krise durch die Entdeckung der mengentheoretischen Antinomien aus­ gelöst wurde, wird sie oft so dargestellt, als habe es sich dabei um ein tragisches Ereignis in der modernen Mathematik gehandelt. Betrachtet man diesen Vorgang unter dem Aspekt der Wirkung, so ge­ langt man eher zu der gegenteiligen Beurteilung: Die Entdeckung von Antinomien war ein höchstgliickliches Ereignis; denn sie bewirkte den Zwang zur Formalisierung und Präzisierung des Erkenntnisgegenstandes der Phi­ losophie der Mathematik. Intuitive Vorstellungen vom mathematischen Denken wurden durch genau beschreib bare Objekte ersetzt und die Philo­ sophie der Mathematik entwickelte sich zur mathematischen Grundlagen­ forschung, die in allen ihren Verzweigungen zu Disziplinen führte, die der Mathematik an Präzision nicht nachstanden und die heute selbst als Teile der Mathematik angesehen werden.