数理逻辑发展初期 (20世纪三十年代) Gδdel(1906-1978) ·完全性定理 ·不完全性定理 ·连续统假设的一致性 1313 数理逻辑发展初期 （20世纪三十年代） n Gödel (1906-1978) n 完全性定理 n 不完全性定理 n 连续统假设的一致性