找考题网-背景图
单项选择题

特别是()在1930年的博士论文中证明了一阶谓词逻辑的完全性,标志着现代逻辑基础理论的成熟。

A.亚里士多德
B.哥德尔
C.罗素
D.怀特海

热门试题