单项选择题
古希腊学者柏拉图创立了一种新的证明方法，即（）法，也称为归谬法：假定待证的命题为真，然后由此推导出一些结论。若得出矛盾，则待证的命题不成立若得出一个已知真理，则把分析的步骤倒过来，于是命题得证。
A.分析B.解析C.反证D.间接
单项选择题 数学中的演绎证明是从（）时代开始的。
单项选择题 在数学方面，古希腊学者柏拉图坚持严密定义和逻辑证明，促成了数学的（）化。
单项选择题 柏拉图学园是早期毕氏学派和后来长期活跃的（）学派之间的纽带。
