5.3 괴델의 발견으로, 수학의 보다 본질적인 문제는 진리가 아니라 증명가능성의 개념이라는 이해가 전적으로 지배하게 된다.