2017-08-14 定理とか補題とか 数学 こちらのWiki記事より 公理(axiom, proposition)、定義(definition) 定理(theorem)は公理に基づいて証明されたもの 予想(Conjecture)、仮定(Hypothesis)は未証明だけれど定理だろうと思われているもの 命題(Proposition)は証明されたものだが、定理と言うほどすごくないもの(定理を広く取れば、定理の一部) 補題(lemma)は、大きな定理・大事な定理を証明するために小規模な定理 系(corollary)は定理の表現を少し変えただけのようなもの 逆(converse) 一般化(genralization)