Krise durch die Entdeckung der mengentheoretischen Antinomien aus­ gelDst wurde, wird sie oft so dargestellt, als habe es sich dabei um ein tragisches Ereignis in der modernen Mathematik gehandelt. Betrachtet man diesen V organg unter dem Aspekt der Wirkung, so ge­ langt man eher zu der gegenteiligen Beurteilung: Die Entdeckung von Antinomien war ein hDchstgliicklichesEreignis; denn sie bewirkte denZwang zur Formalisierung und Prazisierung des Erkenntnisgegenstandes der Phi­ losophie der Mathematik. Intuitive V orstellungen yom mathematischen Denken wurden durch genau beschreibbare Objekte ersetzt und die Philo­ sophie der Mathematik entwickelte sich zur mathematischen Grundlagen­ forschung, die in allen ihren Verzweigungen zu Disziplinen fUhrte, die der Mathematik an Prazision nicht nachstanden und die heute selbst als Teile der Mathematik angesehen werden.