公理

数学の理論体系で定理を証明する前提として仮定する いくつかの事柄