Axioms are mathematical facts that we take as self-evident and do not try to prove from simpler principles.

• 公设就是不证自明的数学事实，无法从更简单的原理推导出来。