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