주요 차이점 : 공리와 정리는 수학이나 물리에서 가장 일반적으로 사용되는 문장입니다. 공리는 사실로 받아 들여지는 성명서입니다. 그것은 입증 될 필요가 없습니다. 반면에 정리는 증명 된 진술이다.
Dictionary.com에 따르면 공리는 다음과 같이 정의됩니다.
- 증거가 필요없는 자명 한 진리.
- 보편적으로 받아 들여지는 원리 또는 규칙.
- 논리, 수학. 그로부터 오는 결과를 연구하기 위해 증거없이 추측되는 명제.
본질적으로, 공리는 증명할 필요가없는 가정입니다. 모순이 없거나 진실임을 분명히 알기 때문에 일반적으로 사실로 받아 들여집니다. 공리라는 단어는 '합당하거나 적합하다고 여겨지는'또는 '명백한 것처럼 보이는 것'을 의미하는 헬라어 단어에서 파생됩니다. 공리는 때로는 가정이나 가정과 교환 할 수 있습니다.
반면에 정리는 증명 될 필요가있다. Dictionary.com은 정리를 다음과 같이 정의합니다.
- 수학. 다른 명제 나 공식으로부터 증명되어야 할 것을 구현하는 이론적 명제, 진술 또는 공식.
- 규칙이나 법칙, 특히 방정식이나 공식으로 표현되는 법칙 또는 법칙.
- 논리. 시스템의 전제 또는 가정으로부터 추론 할 수있는 명제.
- 아이디어, 신념, 방법 또는 진술은 일반적으로 사실이 아니거나 가치가없는 것으로 입증되었습니다.
정리는 테스트 또는 계산을 통해 입증 된 진술입니다. 이전에 입증되었거나 공리를 기반으로 한 정리에 기반하여 입증 될 수 있습니다. 정리는 두 부분으로 구성됩니다 : 가설과 결론.