公理・定義・定理・命題・補題・系
公理(Axiom)
議論の前提として置かれる仮定
定義(Definition)
言葉や記号の意味を定めること
命題 (Proposition)
真偽(True False)で判断できるようなもの
定理 (Theorem)
公理から導かれるものの中で特に重要なもの
補題 (Lemma)
ある定理を証明するために用いられる証明された命題
系 (Corollary)
定理から直ちに導かれるものの中で利用価値が高いもの
確認用
Q. 公理
Q. 定義
Q. 命題
Q. 定理
Q. 補題
Q. 系
参考
定義・公理・定理・命題・補題・系を完全理解しよう | 数学の景色
公理・定義・定理・補題・系とは何か - YouTube
https://www.youtube.com/watch?v=K0HxDK5lZxc
関連
命題論理
メモ
「公理」のはなし - Sokratesさんの備忘録ないし雑記帳
『Mathematical logic』
#数学