수학 용어 정리

Proposition (명제)

참과 거짓을 판별할 수 있는 문장.

Axiom (공리)

증명이 필요없는 항상 옳다고 인정되는 명제.

Theorem (정리)

수학적으로 참인 공리 또는 정의를 기반으로 증명된 명제.

Lemma (보조정리)

다른 정리를 증명하는 데 쓸 목적으로 증명된 명제.

Corollary (따름정리)

추론이라고도 부른다. 이미 증명된 다른 정리에 의해 바로 유도되는 명제