Principia Mathematica heisst ein dreibändiges Werk über die Grundlagen der Mathematik (1910-1913) von B. Russell und Alfred North Whitehead, die darin alle mathematischen Wahrheiten aus einem wohldefinierten Satz von Axiomen und Schlussregeln (Inferenzregeln der symbolischen Logik) ableiten wollten.

Die Herleitung der Mathematik aus der Logik sollte zeigen, dass mathematische Erkenntnisse sprachlicher Natur und damit formallogisch, also analytisch apriorisch begründbar sind.

K. Gödel zeigte 1931, dass das Programm prinzipiell nicht durchfühbar ist.