单项选择题
第一次数学危机，实际是发现了（）的存在。
A.有理数 B.无理数 C.素数 D.无限不循环小数
判断题 数学形式化对计算机的产生有决定性意义。
判断题 毕达哥拉斯认为，“数，是世界的法则”，这句话中的“数”是指自然数。
单项选择题 在数学证明的发展中，是谁提出了证明是需要前提条件的？（）
