单项选择题

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

A.图灵数
B.哥德尔数
C.Euclid数
D.Fibonacci数