5.2 수학에서 진리와 정리는 논리적으로 같은 뜻으로 이해되어 왔으나 괴델의 제2불완전성 정리에 의해 참이지만 정리가 안되는 명제가 제시되었다.