몇 가지 수학 용어
Proposition, Statement : 명제. 이 문장들은 참, 거짓으로 판별할 수 있다. Axiom : 공리. 증명이 필요없는, 항상 옳다고 인정되는 명제들이다. Lemma : 흔히 보조정리, 따름정리라 부르기도 한다. Lemma는 그 자체로 명제라기보다는, 더 커다란 결과로 나가기 위한, 증명된 Proposition을 말한다. Corollary : 추론. 이미 증명된 Proposition과 연관된다. 일반적으로, 추론은 Theorem와 연관된다. 즉, Proposition B가 Proposition A로부터 이끌어낼 수 있다면, Proposition B는 Proposition A의 추론이라고 한다. Theorem : 법칙, 정리. Theorem은 보통 공식으로 나타낼 수 있으며, Theorem은..
더보기