—个因定义为真或显然为真，以至于用不着再去证明的陈述。因此，公理可以被用作论证的出发点，而无需进一步争论。