모든 논리 체계는 어딘가에서 시작해야 합니다. 공리는 증명 없이 참으로 받아들여지는 명제로, 다른 결과를 도출하는 출발점이 됩니다. 공리는 임의적으로 선택되는 것이 아니라, 자명해 보이거나 유용하거나 일관된 이론을 구축하는 데 도움이 될 만한 것들로 여겨지기 때문에 선택됩니다.

유클리드의 기하학 공리는 대표적인 예입니다. 수 세기 동안 이 공리들은 물리적 공간에 대한 자명한 진리로 여겨졌습니다. 수학자들이 평행 공리에 의문을 제기하면서 비유클리드 기하학이 등장했고, 이는 공리가 절대적인 사실이 아니라 가정일 뿐임을 보여주었습니다. 현대 수학에서는 공리라는 용어를 더 넓은 의미로 사용하여 형식 체계 내에서 받아들여지는 모든 명제를 지칭하는 데 활용하기도 합니다.

집합론은 선택 공리와 같은 고유한 공리들을 가지고 있는데, 선택 공리는 일부 수학자들 사이에서 여전히 논란의 여지가 있습니다. 실제로 공리는 게임의 규칙을 정의합니다. 공리를 바꾸면 전혀 다른 게임이 만들어지고, 때로는 놀랍고 유용한 결과를 얻을 수도 있습니다.

• 증거 없이도 진술이 받아들여졌습니다.
• 논리적 추론의 출발점
• 유클리드의 공리는 고전적인 예입니다.
• 서로 다른 공리 집합은 서로 다른 수학 체계를 만들어낸다