정리
정리는 다른 정리와 같은 이전의 진술과 공리와 같은 이전에 받아 들여진 진술에 기초하여 증명 된 진술이다. 정리의 출판은 종종 표현의 표현의 증거로 해석되지만, 다른 공제 제도가 사용된다면 출판법의 목적에 따라 다른 해석이 생길 수 있습니다. 정리는 두 가지 구성 요소, 즉 가설과 결론을 가지고있다. 수학적 정리에 대한 증명은 결론이 각 가설에 필요한 결과임을 나타내는 논리적 인 논증이다. 가설이 참이면 다른 가정없이 결론도 참이어야한다. 따라서 이론의 개념은 경험적 과학 이론의 개념과는 달리 기본적으로 연역적입니다. 비례 미적분학과 같은 완전한 상징적 형태로 쓰여질 수 있지만, 정리는 종종 영어와 같은 언어로 표현됩니다.