单项选择题

A.亚里士多德发明了数理逻辑体系,这是一种演绎推理形式体系
B.亚里士多德发明了数理逻辑体系,这是一种归纳推理形式体系
C.亚里士多德发明了形式逻辑体系,这是一种归纳推理形式体系
D.亚里士多德发明了形式逻辑体系,这是一种演绎推理形式体系