[单选] 证明不完全性定理的人是（）

第一个证明了广义的连续统假设的相容性定理的人是（） A、伽罗瓦。 B、笛卡尔。 C、克莱因。 D、哥德尔。 《数学：确定性的丧失》作者是（） A、伽罗瓦。 B、笛卡尔。 C、克莱因。 D、哥德尔。 微积分诞生时间（） A、十五世纪。 B、十六世纪。 C、十七世纪。 D、十八世纪。 形式的公理化方法包括（） A、组织。 B、综合。 C、表述。 D、以上全部是。 公理化体系对逻辑的最基本要求不包括（） A、相容性。 B、独立性。 C、完全性。 D、封闭性。 证明不完全性定理的人是（）