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.