00000nz a2200000n 4500 001 KSH1998024806 005 19980429135326 008 980429 n azknn|abn |a a|a | 150 ▼a정리(수학)[定理]▲ 450 ▼wr▼i영어▼amathematical theorem▲ 450 ▼wr▼i영어▼atheorem▲ 550 ▼wh▼a따름 정리[--定理]▲ 550 ▼wh▼a라이프니츠의 정리[--定理]▲ 550 ▼wh▼a베이즈의 정리[--定理]▲ 550 ▼wh▼a보조 정리[補助定理]▲ 550 ▼wh▼a사각형 정리[四角形定理]▲ 550 ▼wh▼a삼수선의 정리[三垂線--定理]▲ 550 ▼wh▼a오일러의 정리[--定理]▲ 550 ▼wh▼a중간값의 정리[中間--定理]▲ 550 ▼wh▼a중국의 잉여항 정리[中國--剩餘項定理]▲ 550 ▼wh▼a중심 극한 정리[中心極限定理]▲ 550 ▼wh▼a피타고라스의 정리[--定理]▲ 550 ▼a기하학[幾何學]▲ 550 ▼a수리 논리학[數理論理學]▲ 680 ▼i수학적으로 참인 명제(命題). 즉, 공리(公理)와 정의(定義)로부터 증명(證明)에 의해 정리가 유도되며, 이미 증명된 이들 정리와 공리 또는 정의를 추론(推論)의 근거로 하여 다음 정리가 옳다는 것을 확인한다. ▲