이현녀 선생님의 답변입니다.
정의, 성질, 공리, 정리, 법칙 이것들은 다 어떻게 구별하나요?
1. 정의 : 어떤 수학적 대상을 몇 가지의 성질로 규정하는 것.
2. 공리 : 증명없이 자명, 명백한 사실로 간주하는 것.
예를 들어 유클리드의 원론은 수 많은 정의- '선은 폭이 없는 길이'와 같은-로 시작한다. 그리고 그 정의들을 공준 또는 공리라 부른다.
이러한 공리 공준을 바탕으로 수많은 증명들을 해 나갔다.
3. 정리 : 사실로 증명된 일반적인 명제 |
