4.6 연역 논리학의 충분히 강한 형식체계 내에는 너무 복잡한 탓에 그 체계의 논리적 조작들을 사용해서는 증명할 수 없는 진술들이 있다.