25、下列说法中,正确的有:
A.哥德尔不完全性定理揭示了形式化方法的局限性
B.哥德尔不完全性定理的核心是认为:形式化系统中矛盾的症结在于“自我指谓”
C.数学这棵大树是向两个方向生长的。它既向上生长,去研究宇宙的深度;也向下生长,去研究人类自身理性思维的深度
D.形式的公理系统所要求的完全性是指该形式系统中所有命题都能判定“真伪”
E.数学的唯一任务是逻辑推理
F.公元前300年,欧几里得的《几何基础》开创了公理化方法
G.任何形式系统中的命题,要么可被证明为对,要么可被证明为错
H.公理化集合论中有不可判定命题