單項(xiàng)選擇題

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

A.圖靈數(shù)
B.哥德爾數(shù)
C.Euclid數(shù)
D.Fibonacci數(shù)

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