简单历史——三个阶段( ■成熟阶段:19305-1970年 成为数学的独立分支 Godel完全性定理和不完全性定理。 四个分支: 公理集合论:大基数,连续统问题 递归论(可计算性理论): Turing机,不可解性 模型论:实数的非标准模型 证明论:超穷归纳法, gentzen的数论和谐性证明简单历史——三个阶段（三） „ 成熟阶段：1930s — 1970年 成为数学的独立分支 ¾ Gödel完全性定理和不完全性定理。 ¾ 四个分支： ¾ 公理集合论：大基数，连续统问题 ¾ 递归论（可计算性理论）：Turing机，不可解性 ¾ 模型论：实数的非标准模型 ¾ 证明论：超穷归纳法, Gentzen的数论和谐性证明