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