“算术相容性”,本来在希尔伯特的“元数学”体系中是一个不可判定命题,哪位科学家证明了此命题:

时间:2022-11-11 15:47:45

相似题目