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