... 了皮亚诺算术公理(Peano Axioms)的集合,这是在哥德尔论文的前面明确了的, ... 容性”,希尔伯特说的compatibility,哥德尔说的consistency,意思是“无矛盾的”。
確定! 回上一頁