单项选择题
对哥德尔第一定理提出的问题,数学家也想到了补救方法,灵感主要来源于1936年()证明了算数相容性。
A.希尔伯特 B.罗素 C.庞加莱 D.根岑
单项选择题 从()世纪起,数学家就在寻找好“数学基础”。
判断题 用合情推理能推理出“5个平面最多把空间分为几个部分”的问题。
多项选择题 1899年,希尔伯特的《几何基础》中,有五组公理,即:关联公理、顺序公理、()。