一本数学书籍，书籍共分三卷，分别出版于1910年，1912年，1913年。它通常缩写为PM (Principia Mathematica)，为表述所有数学真理在一组数理逻辑内的公理和推理规则下，原则上都是可以证明的。因此这一雄心勃勃的项目对于数学史和哲学史都是非常重要的，然而在1931年，哥德尔不完备性定理证明对于数学原理或其他任何类似的尝试，这个崇高的目标皆永远无法达到；也就是说，任何尝试以一组公理和推理规则来建立的数学系统，不是不自洽，就是不完备 (即存在一些数学真理不能由此系统推理演绎出来)。