In der mathematischen Grundlagenforschung des 20. Jahrhunderts sind die Ergebnisse der mathematischen Logik (v. a. der gödelsche Unvollständigkeitssatz) von großer Wichtigkeit. Daneben spielt, motiviert durch die Kritik des Intuitionismus, die Suche nach sicheren Fundamenten der Mathematik (Formalismus, Logizismus) eine wichtige Rolle. Nicht zuletzt wegen der durch den Computer eröffneten