问题 单项选择题

形式系统的每一个推论规则都可以表达为自然数,这个数叫做()。

A.图灵数

B.哥德尔数

C.Euclid数

D.Fibonacci数

答案

参考答案:B

多项选择题
单项选择题