单项选择题

证明算术相容性的人是()

A.根岑
B.伯奈斯
C.哥德尔
D.希尔伯特