25、下列说法中，正确的有：A．哥德尔不完全性定理揭示了形式化方法的局限性B．哥德尔不完全性定理的核心是认为：形式化系统中矛盾的症结在于“自我指谓”C．数学这棵大树是向两个方向生长的。它既向上生长，去研究宇宙的深度；也向下生长，去研究人类自身理性思维的深度D．形式的公理系统所要求的完全性是指该形式系统中所有命题都能判定“真伪”E．数学的唯一任务是逻辑推理F．公元前300年，欧几里得的《几何基础》开创了公理化方法G．任何形式系统中的命题，要么可被证明为对，要么可被证明为错H．公理化集合论中有不可判定命题
25、下列说法中，正确的有：
A．哥德尔不完全性定理揭示了形式化方法的局限性
B．哥德尔不完全性定理的核心是认为：形式化系统中矛盾的症结在于“自我指谓”
C．数学这棵大树是向两个方向生长的。它既向上生长，去研究宇宙的深度；也向下生长，去研究人类自身理性思维的深度
D．形式的公理系统所要求的完全性是指该形式系统中所有命题都能判定“真伪”
E．数学的唯一任务是逻辑推理
F．公元前300年，欧几里得的《几何基础》开创了公理化方法
G．任何形式系统中的命题，要么可被证明为对，要么可被证明为错
H．公理化集合论中有不可判定命题
参考答案和解析
“无矛盾性”和“完备性”不能同时满足;“真”与“可证”是两个不同的概念。;可证的一定是真的,但真的不一定是可证的
相关考题：
下列关于固定资产投资项目的最低资本金比例的说法中，正确的有()。A.保障性住房和普通商品住房项目为25％B.钢铁、电解铝项目为40％C.水泥项目为30％D.黄磷、多晶硅项目为30％E.玉米深加工项目为25％
在亚马逊平台上架一件衣服，产品颜色有红/黄/蓝/绿/灰；产品尺寸有S/M/L/XL/XXL，下列关于该产品的listing和SKU关系说法正确的是（）A、1个listing，10个SKUB、25个listing，1个SKUC、10个listing，1个SKUD、1个listing，25个SKU
在PowerPoint2003中，下列说法正确的是（）.A、一组艺术字中的不同字符可以有不同的字体B、一组艺术字中的不同字符可以有不同的字号C、一组艺术字中的不同字符可以有不同的字体、字号D、以上三和说法均不正确
多选题下列说法正确的是（）A25#SP10应大于98%甲醇浓度B25#K07塔塔底排放指标为小于0.4%甲醇C25#K08塔排放H2S指标为小于50ppmD25#经K11洗涤后粗煤气中氨的指标应小于10ppm
单选题对于HQL中的as关键字，下列说法正确的是（）。A必须要有B必须没有C可以有，也可以没有D以上说法均不正确