1. Introduction 유클리드 (Euclid)의 저서인 'Elements of Geometry (원론)'에 등장하는 다섯 공리이다. 해당 공리는 다음과 같다. ​서로 다른 두 점이 주어졌을때, 그 두 점을 잇는 선분을 그을 수 있다. 임의의 선분은 더 연장할 수 있다. 서로 다른 두 점 A, B에 대해, 점 A를 중심으로하고 선분 AB를 반지름으로 하는 원을 그릴 수 있다. 모든 직각은 서로 같다. 두 직선이 한 직선과 만날 때, 같은 쪽에 있는 내각의 합이 180˚ 보다 작으면 이 두 직선을 연장할 때 그 쪽에서 반드시 만난다. (평행선 공리, 제5공준) 유클리드 본인도 기하학 공리 중 앞의 4개는 명백해 보였으나 평행선 공리는 이것이 정말 공리가 맞는지, 즉 혹시 앞의 4개로부터 연역적으로 추..