G : G는 증명불가능

G가 참이면 G는 증명불가능

대우명제는

G가 증명가능하면 G가 거짓

그런데 증명은 참임을 증명하는건데

증명가능하다는 말은 참이라는 소린데

G가 거짓이라는게 말이됨?

대우명제가 거짓이므로

G가 참이면 G는 증명불가능 이말도 거짓아님?

- dc official App