来源：学生作业帮 编辑：作业帮 分类：数学作业 时间：2024/05/16 14:01:34
算术公理的相容性欧几里得几何的相容性可归结为算术公理的相容性。希尔伯特曾提出用形式主义计划的证明论方法加以证明。1931年，哥德尔发表的不完备性定理否定了这种看法。1936年德国数学家根茨在使用超限归纳法的条件下证明了算术公理的相容性。1988年出版的《中国大百科全书》数学卷指出，数学相容性问题尚未解决。
解题思路： 看来你是看学习的学生
解题过程：
这些问题可以在你学习数学研究生时研究这个，目前高中还是太深了，我平时也有研究哥氏问题。目前你最好还是先考上一所好的大学。
最终答案：略
作业帮