A.合同公理
B.类似公理
C.平行公理
D.连续公理
第8题
第9题
A、哥德尔不完全性定理揭示了形式化方法的局限性
B、哥德尔不完全性定理的核心是认为:形式化系统中矛盾的症结在于“自我指谓”
C、数学这棵大树是向两个方向生长的。它既向上生长,去研究宇宙的深度;也向下生长,去研究人类自身理性思维的深度
D、形式的公理系统所要求的完全性是指该形式系统中所有命题都能判定“真伪”
E、数学的唯一任务是逻辑推理
F、公元前300年,欧几里得的《几何基础》开创了公理化方法
G、任何形式系统中的命题,要么可被证明为对,要么可被证明为错
H、公理化集合论中有不可判定命题
第10题
A、《几何原本》的写作地点在希腊
B、《几何原本》是关于数学和几何学的专著
C、《几何原本》共有13卷组成
D、《几何原本》大约成书于公元前三百年
为了保护您的账号安全,请在“上学吧”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!