generated at
公理 - 自明であると否とを問わず、ある理論の前提となる仮定
from 公理
自明であると否とを問わず、ある理論前提となる仮定