（单选题）
在数学证明的发展中，是谁提出了证明是需要前提条件的（）
A欧几里得
B阿基米德
C泰勒斯
D毕达哥拉斯
正确答案
答案解析
略
相似试题
（单选题）
“算术相容性”在希尔伯特的“元数学”体系中，是一个不可判定命题，但是1936年数学家（）证明了它。
（单选题）
数学证明最早是（）提出来的。
（判断题）
数学中一个“小理论”的证明可能会需要好几代人来完成。
（填空题）
我国的著名数学家（）在机器证明数学问题上进行了卓有成效的工作。
（单选题）
数学家（）在《勾股局域》阐述了勾股定理动态的证明方法。
（填空题）
古代数学家（）注释过《周髀算经》，此《周髀算经》注中对勾股定理进行了一般表述，并作了构造性证明，这也是中国数学家对此定理的数学证明。
（单选题）
最早证明了有理数集是可数集的数学家是（）.
（单选题）
哪位数学家证明了在圆柱内嵌一个球，圆柱的体积和球的体积的比是3：2（）
（单选题）
数学家欧几里德运用（）方法证明了正弦定理。
