定理とか補題とか

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