形式化的公理系统具有（）三个基本原则。

A.具体

B.特殊化

C.抽象

D.形式化

A.可判定性，即算法在有限步内判定命题的真伪

B.完备性，即所有能够从该形式化系统推导出来的命题，都可以从这个形式化系统推导出来

C.一致性，即一个命题不可能同时为真或为假

D.复杂性，即算法性能与输入数据大小相关

A.形式化

B.局部组织

C.生活经验

D.公理体系

E.直觉

A.哥德尔不完全性定理揭示了形式化方法的局限性

B.哥德尔不完全性定理的核心是认为：形式化系统中矛盾的症结在于“自我指谓”

C.数学这棵大树是向两个方向生长的。它既向上生长，去研究宇宙的深度；也向下生长，去研究人类自身理性思维的深度

D.形式的公理系统所要求的完全性是指该形式系统中所有命题都能判定“真伪”

E.数学的唯一任务是逻辑推理

F.公元前300年，欧几里得的《几何基础》开创了公理化方法

G.任何形式系统中的命题，要么可被证明为对，要么可被证明为错

H.公理化集合论中有不可判定命题

A.Y.是

B.N.否

A.Y.是

B.N.否