形式系统的每一个推论规则都可以表达为自然数,这个数叫做()。
A:图灵数
B:哥德尔数
C:Euclid数
D:Fibonacci数
出自:计算机科学