数学:用語の意味

数学用語の基礎:定義，公理，定理，命題，補題，系

・定義（Definition）
言葉と事柄を関係づける．

・公理（Axiom）
証明せずに認める前提．

・命題（Proposition）
真偽がわかる事柄

・定理（Theorem）
命題のうち，特に重要なもの．

・補題（Lemma）
定理を支えるために，補助的にある命題．

・系（Corollary）
命題のうち，特に定理を用いて簡単に証明できるもの．

https://mathlandscape.com/definition-and-theorem/#:~:text=%E5%91%BD%E9%A1%8C%E3%81%A8%E3%81%AF%EF%BC%8C%E7%9C%9F%E5%81%BD%E3%81%8C%E8%AB%96%E7%90%86%E7%9A%84%E3%81%AB%E3%81%AF%E3%81%A3%E3%81%8D%E3%82%8A,%E3%82%B5%E3%83%9D%E3%83%BC%E3%83%88%E3%81%99%E3%82%8B%E3%82%82%E3%81%AE%E3%82%92%E6%8C%87%E3%81%99%E3%80%82

・略記の存在に注意．
・何を定理，命題，補題，系と呼ぶかは，書き手次第．

http://www4.math.sci.osaka-u.ac.jp/~matsumoto/courses/2016-fs1/docs/2016-fs1-01.pdf

https://users.math.msu.edu/users/duncan42/AxiomNotes.pdf