古希腊首创演绎证明式科学。