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