單項(xiàng)選擇題

“算術(shù)相容性”在希爾伯特的“元數(shù)學(xué)”體系中，是一個(gè)不可判定命題，但是1936年數(shù)學(xué)家（）證明了它。

A、魯?shù)婪?br /> B、根岑
C、胡爾維茨
D、馬克勞林

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