单项选择题
下列选项中,属于反证法的步骤的是()。
A.否定命题→推导出矛盾→命题成立 B.肯定命题→推导出矛盾→命题成立 C.否定命题→推导出成立→命题成立 D.否定命题→推导出矛盾→命题不成立
单项选择题 数系扩张到()的时候,第一次数学危机就彻底解决了。
判断题 欧几里得的几何《原本》采用了“两个量的比相等”这一定义,以致在以后的近两千多年中,几何几乎是变成了全部严密数学的基础。
判断题 正式由于第一次数学危机,才发现了无理数。