“算术相容性”在希尔伯特的“元数学”体系中,是一个不可判定命题,但是1936年数学家()证明了它。

时间:2022-11-14 18:55:14

相似题目