古希腊哲学家们发明的记录在欧几里得几何学中的形式逻辑体系下列中不属于形式科学的是（B）