单项选择题

对哥德尔第一定理提出的问题,数学家也想到了补救方法,灵感主要来源于1936年()证明了算数相容性。

A.希尔伯特
B.罗素
C.庞加莱
D.根岑