공준 ( 또는 공리 ) 에 근거 하 여 논리 적 으로 문제 를 해결 하 였 다 . 그런데 자세히 보 자 . 과연 유클리드 가 철저히 공준 ( 또는 공리 ) 에 만 근거 하 였 는가 ? 밑줄 그은 부분 이 문제 이 다 . 공준 ( 또는 공리 ) 만 가지 고 는 두 원 이 만난다는 보장 이 없 기 때문 이 다 . 즉 이 부분 은 ' 부당 하 게 ' 들어갔 다 . 직관 적 으로 당연 한 것 아니 냐는 생각 이 들 수 도 있 지만 논리 의 세계 는 그렇게 호락호락 하 지 않 다 . 전제 로부터 결론 이 이끌 어 지 는 과정 에서 그 어떤 것 도 임의 로 가정 되 어서 는 안 된다 . 전제 ( 즉 공준 또는 공리 ) 만 을 통하 여 논리 적 으로 정리 를 유도 하 여야 그 정리 가 ' 정리 ' 일 수 있 다 . 그 과정 에 다른 것 이 들어가 면 결론 이 공준 ( 또는 공리 ) 과 는 무관 한 결론 이 되 기 때문 이 다 . 따라서 이 문제 의 답 이 올바르 려면 공준 ( 또는 공리 ) 이 더 보강 되 어야 한다 .