整理
(定理)는 哲學이나 또는 論理學 特히
數學
에서 正義나
공리
에 依해 家庭(assumption)으로부터 이미
眞理로서 證明된
命題
를 말한다. 卽, 自明한 眞理로서의
공리
와 明白하게 規定된 辭典的
正義
를
前提
로 證明할 수 있는 命題이다. 좁은 意味로는, 그와 같은 命題들 中에서 重要한
一般 命題
灣을 일컫는다. 이런 意味에서의 整理를 證明하기 위해 使用되는 補助的인 命題를
補助定理
(lemma)라 하고, 整理로부터 쉽게 導出되는 附加的인 命題를
따름定理
(corollary)라 한다.
數學
[
編輯
]
公理를 基礎로 證明된 命題이다. 널리 알려진 整理 中 하나로
피타고라스의 整理
가 있다.
論理學
[
編輯
]
整理(定理)는 論理學에서 이미 眞理라고 證明된 一般 命題를 가리킨다.
같이 보기
[
編輯
]
各州
[
編輯
]