在希尔伯特的“元数学”体系中，“算术相容性”是一个不可判定命题，但是1936年数学家（）证明了它。

在希尔伯特的“元数学”体系中，“算术相容性”是一个不可判定命题，但是1936年数学家（）证明了它。
A.鲁道夫
B.马克劳林
C.胡尔维茨
D.根岑
正确答案：A