>>794

簡単にいうと数学で命題とは「真」か「偽」が定められる文のこと。
もちろん命題にも証明が必要。
定理とは命題のなかでも特に重要なもののことをいう。
定理（theorem）、命題（Proposition）、補題（lemma）、系（cororally）はみな命題の一種。
これらは重要度や役割によって名前が違う。
たとえば、定理の証明に必要な命題は補題といったり、定理からわりと簡単に導かれる命題の
ことを系といったりする。
もちろん重要度や役割は著者によって多少異なるから、あるテキストでは定理のものが
別のテキストでは命題だったりする。「ツォルンの補題」という定理もある。