정리 관련 용어들 Thm Prop Lemma Cor

참으로 증명된 명제 중 중요한 것들을 정리(Theorem / Thm)라고 부른다.

 

정리라고 부를 만큼 중요하지 않으면 그냥 중립적으로 명제(Proposition / Prop)이라고 표현한다.

 

보조 정리(Lemma / Lem)는 정리를 증명하기 위해서 사용되는 또 다른 정리를 말한다.

정리를 증명하기 위해 사용되는 중간단계들이 보조 정리라고 생각하면 된다.

Euclid's lemma나 Zorn's lemma처럼 자주 등장하거나, 그 자체가 수학적으로 중요해서 유명해지기도 한다.

내가 쓰는 보조 정리가 보조 정리라고 부를 만큼 중요하지 않은 것 같다면, 주장(Claim)이라고 가볍게 표현해도 된다.

 

따름 정리(Corollary / Cor)는 정리의 결과로 자연스럽게 도출되는 다른 정리들을 부르는 용어다.

따름 정리는 보조 정리와는 다르게 '따름 정리'라는 이름이 붙은 유명한 정리는 아직 보지 못한 것 같다.