单项选择题

数理逻辑是在17世纪末18世纪初由()首先提出来的。

A.亚里士多德
B.马克思
C.莱布尼茨
D.康德