首页 › 答案 › 题库 › 超星尔雅学习通未分类

形式的公理化方法在逻辑上的要求,是满足（）。

形式的公理化方法在逻辑上的要求,是满足（）。
A.相容性
B.独立性
C.完整性
D.完全性
正确答案：ABD

标签：数学文化公理化完全性

上一条：在公理化思想中,A与非A都能导出叫做“不相容”,A与非A都不能导出叫做（）。

下一条：1899年,希尔伯特的《几何基础》中,有五组公理,即:关联公理、顺序公理、（）。