인간이 아무리 아름다운 수학 논문을 써서 출판해도

그 논문이 담는 증명이나 수학 정리의 길이와 정보량은 유한하잖아

결국 길이가 무한한 증명 혹은 정리는 우리는 평생 발견할 수 없다는 거잖아