知识/定理
罗素与怀特海（1910–13）《数学原理》（Principia Mathematica）：从逻辑公理推导全部数学的宏大工程（三大卷）。
公式
逻辑主义纲领「数学 = 逻辑」；类型论规避悖论；「1+1=2」在第 86 页证出。
证明思路
（逻辑主义）以命题演算+量词+类型论为公理，逐条推演算术与集合论。
应用/例子
数理逻辑的标准文献；启发希尔伯特与哥德尔。
意义/影响
逻辑主义的巅峰与（哥德尔后）破产；「证明的证明」为何注定不完美的教材。
DOXA · 数学编年史 · 知识详情
1910–13 ｜ 罗素/怀特海 ｜ 逻辑 ｜ 出版
罗素与怀特海（1910–13）《数学原理》（Principia Mathematica）：从逻辑公理推导全部数学的宏大工程（三大卷）。
逻辑主义纲领「数学 = 逻辑」；类型论规避悖论；「1+1=2」在第 86 页证出。
（逻辑主义）以命题演算+量词+类型论为公理，逐条推演算术与集合论。
数理逻辑的标准文献；启发希尔伯特与哥德尔。
逻辑主义的巅峰与（哥德尔后）破产；「证明的证明」为何注定不完美的教材。