スマートフォン用の表示で見る

公理

論理学において導出の基礎となるもの.

広い意味で,ある名前の付いた概念を定義する条件をこう呼ぶこともある.例: 群の公理,開集合の公理,平行線の公理