axioms은(는) axiom의 복수형이기도 합니다.