애초에 증명이라는 것 자체를 어떻게 괴델수로 표현될수 있음?