こちらのWiki記事より 公理(axiom, proposition)、定義(definition) 定理(theorem)は公理に基づいて証明されたもの 予想(Conjecture)、仮定(Hypothesis)は未証明だけれど定理だろうと思われているもの 命題(Proposition)は証明されたものだが、定理と言うほ…