Critique de la logique empirique. (Réponse à M. Rolin Wavre.) (Q1448536)

Die Diskussion über Intuitionismus und Formalismus wird fortgesetzt. Beide Verf. sind Gegner des Intuitionismus, sind aber bezüglich des Charakters der logischen Grundsätze verschiedener Auffassung. Als Diskussionsthemen treten auf: das \textit{Brouwer}sche Beispiel einer Zahl, die ``weder rational noch irrational'' sein soll; das Problem, ob angesichts der eventuellen Unlösbarkeit des \textit{Fermat}schen Theorems dieses Theorem als Axiom zu den übrigen Axiomen der Arithmetik hinzugenommen werden kann; die Axiomatik der Mengenlehre und die Auflösbarkeit der Paradoxien der Mengenlehre usw.