相关考题
-
单项选择题
哥德尔来自哪个国家？（）
A.法国
B.德国
C.奥地利
D.瑞士 -
判断题
从一批公理、定义出发，通过逻辑推理，得到一些列结论（称为命题、定理或推论）的方法，称为公理化方法。 -
判断题
不允许从公理系统里推出矛盾的命题来，这体现出公理系统的独立性。
