2 axiom: 공리