数学 {引理,公理,定理,推论}

数学 {引理,公理,定理}

{引理,定理,公理,推论}

定义

推论 Corollary;

如果定理A成立, 则一定有定理B也成立, 则称定理B为定理A的推论;

@DELI;

引理 Lemma;

引理, 是已被证明了的命题, 其意义 不在于自己的证明 而是辅助证明某个结论;

@DELI;

定理 Theorem;

经过推理证明为真的陈述; 一般形如若…条件满足, 则…结论;

@DELI;

公理 Axiom;

无需证明而恒真的命题, 作为演绎推理的起点 (不同系统会预设不同的公理);