G: "G는 증명불가능"

괴델은 G가 참임을 증명함

G가 참이라는 말은 G가 증명불가능하다는 말

즉,

괴델은 "G가 증명불가능함"을 증명함

이는 G를 증명한것임

그런데 G는 증명불가능하다는게 G임..

- dc official App