希尔伯特认为一些悖论是由于自然语言表达语义内容造成的。为了克服悖论之苦,他希望可以发现一个形式系统,在其中每一个数学真理都可翻译成一个定理,反之,每一个定理都可翻译成一个数学真理。这样的系统称完全的。()

时间:2022-11-14 11:26:28

相似题目

推荐题目