5.5 결국 진리의 세계가 증명의 세계보다 크다는 것이며, 형식적 증명을 통해 진리의 세계에 도달할 수 없다. Great idea