1. 공리(axiom)는 어떤 증명도 필요없이 당연히 맞는 이치로서 논리학에서 보다 포괄적인 개념으로 사용되고 있습니다.
2. 공준(postulate)은 특별히 기하학에서 인정되는 공리를 공준이라고 합니다. 따라서 공준은 공리의 특별한 케이스라고 할 수 있겠지요.
3. 영어권에서는 parallel postulate, 즉 기하학 공준으로 사용하는게 일반적인 것 같습니다만, 독일어판 위키에는 axiom(공리)으로 사용되고 있습니다.
4. 그리고 최신 대한수학회 용어에서는 'parallel axiom = 평행선 공리'로 정의되어 있습니다.
결론:
따라서 기하학 공준이냐 아니면 기하학공리냐의 문제는 일반적으로 명확히 정의되어있지 않은 것 같습니다만,
제 생각에는 대한수학회 용어를 따르는 것이 타당하다고 생각됩니다.
다음검색