演绎逻辑的现代化开始于（）。

A.卡达洛

B.费马

C.莱布尼茨

D.弗雷格

正确答案：C