Der Formalismus ist eine von David Hilbert gegründete Schulrichtung in der Philosophie der Mathematik bzgl. der Grundlagen der Mathematik. Zentral ist dabei die Frage, wie eine mathematische Folgerung oder Implikation aufzufassen ist. Das Anliegen bestand darin, allein von der Form her die Vollständigkeit und Widerspruchsfreiheit der Axiomensysteme der Mathematik zu beweisen.