Re:교수님 공리와 공준의 차이가 뭔가요 ?

[김영록]

1. 공리(axiom)는 어떤 증명도 필요없이 당연히 맞는 이치로서 논리학에서 보다 포괄적인 개념으로 사용되고 있습니다.

2. 공준(postulate)은 특별히 기하학에서 인정되는 공리를 공준이라고 합니다. 따라서 공준은 공리의 특별한 케이스라고 할 수 있겠지요.

3. 영어권에서는 parallel postulate, 즉 기하학 공준으로 사용하는게 일반적인 것 같습니다만, 독일어판 위키에는 axiom(공리)으로 사용되고 있습니다. 

4. 그리고 최신 대한수학회 용어에서는 'parallel axiom = 평행선 공리'로 정의되어 있습니다.


결론:

따라서 기하학 공준이냐 아니면 기하학공리냐의 문제는 일반적으로 명확히 정의되어있지 않은 것 같습니다만,
제 생각에는 대한수학회 용어를 따르는 것이 타당하다고 생각됩니다. 

[컴퓨터04 이상욱]

대한 수학회가 국내 수학의 표준화 기관인가 봅니다. 감사합니다.