5.1 수학적 명제는 그것이 증명될 때에만 참이 되며, '정리'는 증명 가능한 명제를 말한다.