generated at
公理 - 数学で、論証がなくても自明の真理として承認され、他の命題の前提となる根本命題
from 公理
数学で、論証がなくても自明真理として承認され、他の命題前提となる根本命題