第一次数学危机，实际是发现了（）的存在。

数学形式化对计算机的产生有决定性意义。

判断题数学形式化对计算机的产生有决定性意义。

毕达哥拉斯认为，“数，是世界的法则”，这句话中的“数”是指自然数。

判断题毕达哥拉斯认为，“数，是世界的法则”，这句话中的“数”是指自然数。

在数学证明的发展中，是谁提出了证明是需要前提条件的？（）A.欧几里得B.阿基米德C.泰勒斯D.毕达哥拉斯

单项选择题在数学证明的发展中，是谁提出了证明是需要前提条件的？（）