☆定義、公理、命題、定理 【定義 definition】 議論を円滑に行うための取り決め 【公理 Axiom】 議論の出発点となる主張 証明不可能だが、明らかに真であることが採用されることが多い 【命題 Propotion】 １．真偽が判断できる主張 ２．ある体系の中で真で…