【名词&注释】
形式逻辑(formal logic)、亚里士多德(aristotle)、数理逻辑(mathematical logic)、爱因斯坦(einstein)、每一个(every single)、欧几里得几何(euclidean geometry)
[单选题]爱因斯坦所推崇的一步步精密推进的,每一个(every single)命题都是绝对不容置疑的逻辑体系是()
A. A、非欧几何
B. B、欧几里得几何(euclidean geometry)
C. C、亚里士多德形式逻辑体系
D. D、数理逻辑体系