莱布尼茨
提出设想 普遍的符号语言
布尔
实现命题演算
摩根
关系逻辑
弗雷德
谓词演算
罗素 怀特海
完备的命题逻辑，谓词逻辑
数理逻辑的发展
经典逻辑与非经典逻辑。
经典逻辑是非经典逻辑的子集。
经典逻辑是以罗素和怀特海的数学原理为代表
非经典逻辑
包括多值逻辑，模糊逻辑，模态逻辑，广义模态逻辑。
多值逻辑：事物不只有好或者坏，这两极状态，还有介于两者之间的
模态逻辑：有可能，必定。必定能推出有可能，有可能不能推出必定
数理逻辑的内容
两个演算
逻辑演算，包括命题演算和谓词演算。
四论
模型论
递归论
集合论
证明论：公理集合论，朴素集合论
