数学:自明

定義や他の命題からすぐに導き出せる、証明が容易であることを指す。