单项选择题

关于数学系统的相容性问题,数理逻辑学家()的工作是影响深远的。

A.哥德尔
B.罗素
C.甘岑
D.策梅洛