Im zweiten Abschnitt von "Tormale und transzendentale Logik" weist Husserl auf einige in der Regel unexplizit bleibende, idealisierende Voraussetzungen der Mathematik hin.¹ Sie gehören zu einem Bereich, der zum Teil als Bedingung jeder Wissenschaft überhaupt gilt und deshalb in der normalen, auf Erkenntniszuwachs ausgerichteten Wissenschaft nicht problematisiert wird. Die Unexplizitheit kann aber nicht als Unterscheidungsmerkmal von anderen Setzungen ausreichen, zum einen, weil einige der idealisierenden Voraussetzungen den Status expliziter Axiome erlangt haben, zum anderen, weil in der deduktiven Arbeit immer wieder Begriffe definiert werden, die auf intentional implizierte Idealisierungen zurückweisen. Husserl bestreitet nicht die Rechtmäßigkeit idealisierender Setzungen, doch er weist darauf hin, daß nach den Evidenzen, auf denen sie beruhen, noch nie ernsthaft gefragt worden ist. Es ist ein Teilziel seiner transzendentalen Logik, die naiv geübte und anonyme "Methode" dieser Evidenzen einer konstitutiven Klärung zuzuführen.