数学の定義、公理、定理、命題