정리

1. 正理2. 定理

2.1. 수학 정리

2.1.1. 기본정리

2.2. 과학 정리

3. 定離

3.1. 관련 문서

4. 整理5. 情理

1. 正理

올바른 도리.

2. 定理

일정한 원리
진리로서 이미 증명된 이론적 명제.
공리, 정의를 기초로 연역적으로 이끌린 수학적 명제. Theorem

어떤 수학적 정리를 증명하는 과정이 오래 걸릴 때 디딤돌로서 사용하는 정리를 보조정리(Lemma)라 하며, 그 정리로부터 도출되는, 자명하거나 과정이 길지 않은 또다른 정리를 따름정리(Corollary)라 한다.

2.1. 수학 정리

수학기초론 Foundations of Mathematics
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px"	다루는 대상과 주요 토픽
수리논리학	논리 · 논증{귀납논증 · 연역논증 · 귀추 · 유추} · 정리(보조정리) · 공리 및 공준 · 증명{반증 · PWW · 귀류법 · 수학적 귀납법 · 더블 카운팅 · 자동정리증명(증명보조기)} · 논리함수 · 논리 연산 · 잘 정의됨 · 조건문(조각적 정의) · 명제 논리(명제 · 아이버슨 괄호 · 역 · 이 · 대우) · 양상논리 · 술어 논리(존재성과 유일성) · 형식문법 · 유형 이론 · 모형 이론
집합론	집합(원소 · 공집합 · 집합족 · 곱집합 · 멱집합) · 관계{동치관계 · 순서 관계(하세 다이어그램)} · 순서쌍(튜플) · 서수(큰 가산서수 · 초한귀납법) · 수 체계 · ZFC(선택공리) · 기수(초한기수) · 초한수 · 절대적 무한 · 모임
범주론	범주 · 함자 · 수반 · 자연 변환 · 모나드 · 쌍대성
계산가능성 이론	계산 · 오토마타 · 튜링 기계 · 바쁜 비버 · 정지 문제 · 재귀함수
정리
드모르간 법칙 · 대각선 논법 · 러셀의 역설 · 거짓말쟁이의 역설 · 뢰벤하임-스콜렘 정리 · 슈뢰더-베른슈타인 정리 · 집합-부분합 정리 · 퍼스의 항진명제 · 굿스타인 정리 · 완전성 정리 · 불완전성 정리(괴델 부호화) · 힐베르트의 호텔 · 연속체 가설 · 퍼지 논리
기타
예비사항(약어 및 기호) · 추상화 · 벤 다이어그램 · 수학철학
틀:논리학 · 틀:이산수학 · 틀:이론 컴퓨터 과학 · 철학 관련 정보 · 논리학 관련 정보 · 수학 관련 정보		}}}}}}}}}

2.1.1. 기본정리

정리 중에서도, 수학의 근간을 이룰 정도로 중요성이 높은 것들을 이른다.

2.2. 과학 정리

과학 쪽은 '정리'보다는 '법칙'이라는 용어를 더 많이 쓴다.

3. 定離

이별해서 헤어지기로 마련되어 있음.

3.1. 관련 문서

4. 整理

1.흐트러지거나 혼란스러운 상태에 있는 것을 한 곳에 모으거나 치워서 질서 있는 상태가 되게 함. 정리정돈 참고.

2.체계적으로 분류하고 종합함.

3.문제가 되거나 불필요한 것을 줄이거나 없애서 말끔하게 바로잡음.

4.다른 사람과의 관계를 지속하지 아니하고 끝냄.

5.은행과의 거래 내역을 통장에 기록으로 나타냄.

5. 情理

인정과 도리를 아울러 이르는 말.

[1] 정확하게는 수학 정리라기 보다는 물리학 정리에 가깝다. 실제로 체계 자체는 수학에 바탕을 두고 있지만, 그 해석은 물리학쪽으로 연관되기 때문.