早教吧
育儿知识
作业答案
考试题库
百科
知识分享
创建时间
资源类别
相关度排序
共找到 1 与不可能证明它的无矛盾性 相关的结果，耗时32 ms
阅读下面的短文，完成14―17题。1931年，奥地利数学家哥德尔向世人郑重宣布：任何丰富的包含初等数论的数学形式系统在希尔伯特的意义上（1）
不可能证明它的无矛盾性
。或者说
语文
新公理扩张系统，新的更大的系
1
>
热门搜索：
