종이접기의 공리 4번 (Axiom 4)
공리 4. 임의의 점 과 직선 이 주어질 때, 점 을 지나며 직선 에 수직인 유일한 직선을 접을 수 있다.
공리 4. 은 유클리드 원론 I의 명제 "주어진 직선과 직선 위에 있지 않은 임의의 한 점에서 직선에 수직선을 그을 수 있다."와 같다.
유클리드 원론 I권의 명제 12번이 바로 이 명제이다. 이 증명과정은 아래 링크를 따라가면 살펴볼 수 있다.
유클리드 원론 (황운구 역, 수학사랑 제공) : Proposition 12 of Book I (mathlove.kr)