Die
Grundlagenkrise der Mathematik war eine Phase der Verunsicherung der mathematischen Öffentlichkeit zu Beginn des 20. Jahrhunderts, die mit der Publikation der
Russellschen Antinomie 1903 begann und um das Jahr 1930 endete. In den 20er Jahren gipfelte die Krise im
Grundlagenstreit der Mathematik, der im Wesentlichen von den Hauptvertretern des
Formalismus und
Intuitionismus,
David Hilbert und
Luitzen E. J. Brouwer, ausgetragen wurde. An dessen Ende hatte sich der Eindruck durchgesetzt, dass die klassische Mathematik aufgrund der Grundlagenprobleme keine Einschnitte in ihren Bestand vornehmen muss.