数学常识 公理·定义·定理·引理·推论的区别
- 事先规定出来的
- 公理（Axiom）
- 定义（Definition）
- 推论出来的
- 定理（Theorem）
- 引理（Lemma）
- 推论（Corollary）
- 逻辑图
- 地址
事先规定出来的
公理（Axiom）
事先决定好的条理，不需证明
- 无法证明
定义（Definition）
用文字和符号来决定
文字案例：到一个点的距离相等的点的集合是圆
符号案例：周长与直径之比称为圆周率,写作π；自然数e
- 无法证明
推论出来的
定理（Theorem）
而是从公理推导出来较为重要的东西才能叫定理
引理（Lemma）
为了证明某个定理，而使用的已被证明的命题，就是为了证明定理的小定理
推论（Corollary）
由定理直接推导出来的东西中使用价值最高的一部分
逻辑图
地址
- 【【中字】数学常识 公理·定义·定理·引理·推论有什么区别？】 https://www.bilibili.com/video/BV1zu411v7Hh/?share_source=copy_web&vd_source=fecf81c861d6306eec696170bcade574
- https://www.youtube.com/watch?v=K0HxDK5lZxc
