单项选择题

第一个把推演法规律化的人是()。

A.亚里士多德
B.毕达哥拉斯
C.欧几里得
D.阿基米德