정의 ABC의 개념

정리는 필요와 특별한 관심사입니다. 수학그리고 그들에 대해 이야기 할 때 논리적 프레임 워크 내에서 사실로 입증 될 수있는 진술.

일반적으로 정리는 다음과 같습니다. 사전에 나열하거나 예상 할 수있는 여러 조건으로 구성되며이를 응답이라고합니다.. 다음으로 결론 또는 문제가되는 작업의 조건에서 분명히 항상 참일 수있는 수학적 진술, 즉 내용 정리에 대한 정보를 제공 할 때 확립 될 것은 사이에 존재하는 관계입니다. 가설 그리고 명제 또는 작업 완료.

그러나 어떤 진술이 정리가 될 가능성이 있고 그 안에서 충분히 흥미로워 야한다는 것입니다. 수학적 공동체의 경우, 그렇지 않으면 안타깝게도 단순히 모토, 결과 또는 단순히 명 제일 수 있으며 결코 정리가 될 수 없습니다.

그리고 문제를 좀 더 명확히하기 위해서는 위에서 언급 한 개념도 구별 할 필요가 있습니다. 수학 공동체의 일부가 아니라면 그것이 정리, 기본형, 추론 또는 제안.

기본 정리는 명제이지만 더 긴 정리의 일부입니다. 그 부분에 대한 추론은 정리를 따르는 진술이며 마지막으로 명제는 특정 정리와 관련이없는 결과입니다.

처음에 우리는 정리가 틀 안에서만 증명 될 수있는 진술임을 지적했습니다. 논리적 프레임 워크에서 우리는 일련의 공리 또는 공리 시스템 및 프로세스를 참조합니다. 추론 이것은 이미 이전에 도출 된 공리와 정리로부터 정리를 도출 할 수있게하는 것입니다.

반면에 그것은 호출됩니다 데모 그 정리에서 유한 한 순서의 잘 구성된 논리 공식까지.

스페셜은 아니지만 주의 수학은 그를 정리, 물리학과 같은 분야에 할당합니다. 경제 그들은 일반적으로 다른 사람들로부터 추론되고 정리라고도 불리는 진술을 생성합니다.