摘要: 数学证明:proof 命题:proposition 逻辑推理:logical deduction $\to$ 推理规则:inference rule 公理:axiom 良序原理:Well Ordering Principle 归纳法:induction 定义:命题的数学证明是指基于一系列公理,经过一 阅读全文
posted @ 2022-07-10 22:03 0htoAi 阅读(400) 评论(3) 推荐(3) 编辑