题目内容
（请给出正确答案）
[单选题]
形式化的公理系统具有（）三个基本原则。
A.形式性
B.公理性
C.完备性
D.无矛盾性
E.公理的独立性
如搜索结果不匹配，请 联系老师 获取答案
更多“形式化的公理系统具有（）三个基本原则。”相关的问题
第2题
古希腊欧几里得的《几何原本》是人们所建立的第一个公理体系，由于它具有特定的研究对象，其公理以人们的直观经验为基础反映为认为公理是自明的，所以称为()的公理体系。
A.具体
B.特殊化
C.抽象
D.形式化
第3题
1.命题演算的公理系统L包含L1、L2、L3、MP 。已知L具有可靠性、完全性、公理独立性。从L中去掉L3得到公理系统L’在L中加上（ A → A ）作为L4得到公理系统L”在这三个公理系统中，具有可靠性的是
1.命题演算的公理系统L包含L1、L2、L3、MP 。已知L具有可靠性、完全性、公理独立性。从L中去掉L3得到公理系统L’在L中加上（A → A ）作为L4得到公理系统L”在这三个公理系统中，具有可靠性的是
点击查看答案
第4题
德国著名数学家希尔伯特在1900年举办的国际数学家大会中所提出的“算术公理的相容性（the compa
A.可判定性，即算法在有限步内判定命题的真伪
B.完备性，即所有能够从该形式化系统推导出来的命题，都可以从这个形式化系统推导出来
C.一致性，即一个命题不可能同时为真或为假
D.复杂性，即算法性能与输入数据大小相关
第6题
25、下列说法中，正确的有：
A.哥德尔不完全性定理揭示了形式化方法的局限性
B.哥德尔不完全性定理的核心是认为：形式化系统中矛盾的症结在于“自我指谓”
C.数学这棵大树是向两个方向生长的。它既向上生长，去研究宇宙的深度；也向下生长，去研究人类自身理性思维的深度
D.形式的公理系统所要求的完全性是指该形式系统中所有命题都能判定“真伪”
E.数学的唯一任务是逻辑推理
F.公元前300年，欧几里得的《几何基础》开创了公理化方法
G.任何形式系统中的命题，要么可被证明为对，要么可被证明为错
H.公理化集合论中有不可判定命题
