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

A.Y.是 B.N.否

时间:2023-11-06 16:48:43

相似题目