공리-정의-증명-정리
엑시엄은 수학용어로 공리를 뜻한다. 엑시엄axiom의 어원은 그리스어 단어인 axioma에서 왔으며 ‘그 자체로 명백한 진리‘라는 의미를 가지고 있다. 수학에서 공리는 증명하지 않고 참으로 받아들이는 명제를 뜻한다.(18p)