单项选择题 古希腊学者柏拉图创立了一种新的证明方法，即（）法，也称为归谬法：假定待证的命题为真，然后由此推导出一些结论。若得出矛盾，则待证的命题不成立若得出一个已知真理，则把分析的步骤倒过来，于是命题得证。

单项选择题 数学中的演绎证明是从（）时代开始的。

单项选择题 在数学方面，古希腊学者柏拉图坚持严密定义和逻辑证明，促成了数学的（）化。