公理・定義・定理・命題・補題・系
議論の前提として置かれる仮定
言葉や記号の意味を定めること
真偽(True False)で判断できるようなもの
公理から導かれるものの中で特に重要なもの
ある定理を証明するために用いられる証明された命題
定理から直ちに導かれるものの中で利用価値が高いもの
確認用
Q. 公理
Q. 定義
Q. 命題
Q. 定理
Q. 補題
Q. 系
参考
公理・定義・定理・補題・系とは何か - YouTube
https://www.youtube.com/watch?v=K0HxDK5lZxc
関連
メモ