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