수학에서의 공리라는 것은 차원이라는 개념과 상통한다. 쳬계를(여기서는 수학적인 쳬계를 먼저 말한다.) 이루는 sound하고 complete한 minimal한 set을 수학에서는 공리로 말하고 있는데, 이것은 마치 공간을 3차원으로 표시할 때, 수직인 세 개의 축으로 모두 표시할 수 있는 것과 같은 개념이다. 항상.. 공리를 말할때 문제가 되는 것은 그 공리가 체계를 완벽하게 서술할 수 있는 가하는 것을 증명하는 도구의 개발이다.