單項(xiàng)選擇題

形式系統(tǒng)的每一個(gè)推論規(guī)則都可以表達(dá)為自然數(shù)，這個(gè)數(shù)叫做（）。

A.圖靈數(shù)
B.哥德?tīng)枖?shù)
C.Euclid數(shù)
D.Fibonacci數(shù)

微信掃碼免費(fèi)搜題