이 문서는 다음 위키프로젝트의 범위 안에 있습니다.

현대수학에서 공리는 꼭 인간의 경험과 일치할 필요는 없습니다. 예를 들어 '서로 만나지 않는 평행선이 두 개 이상 있다' 라거나 '서로 만나지 않는 평행선은 존재하지 않는다' 등의 공리를 채택함으로써 비유클리드 기하학이 만들어졌습니다. --사용자:안용열

공리가 반드시 자명하다는 말을 틀린 내용이라고 생각합니다. 편집

공리는 한 이론이나 학문을 뒷받침하는 기본 전제일 뿐입니다. 자명한 논리 혹은 이와 비슷한 뜻으로 사용된 건 고대 그리스에서 시작되었으며, 현대 수학은 더 이상 그런 의미로 공리를 사용하지 않는 것으로 알고 있습니다. 수학의 형식주의 등은 공리를 자명하다고 가정하지 않습니다. 그래서 해당 설명이 들어간 부분은 모두 삭제해야한다고 생각합니다.Dennisnam03 (토론) 2020년 5월 24일 (일) 01:13 (KST)답변

"공리" 문서로 돌아갑니다.