单项选择题 对哥德尔第一定理提出的问题，数学家也想到了补救方法，灵感主要来源于1936年（）证明了算数相容性。

单项选择题 从（）世纪起，数学家就在寻找好“数学基础”。

判断题 用合情推理能推理出“5个平面最多把空间分为几个部分”的问题。