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

时间:2022-11-15 02:27:55

相似题目