公理
意味
その他の
命題
を導き出すための前提として導入される最も基本的な仮定