單項選擇題

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

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

微信掃碼免費搜題