"난 거짓말쟁이다." (=내가 하는 모든 말은 거짓말이다)
이 명제의 부정은
"난 참말도 한다." (=내가 하는 어떤 말은 참말이다)
평생 거짓말만 해 온 사람이..
"난 참말도 한다" 라고 말했다 치자.
이 명제는 거짓일 수 있다.(참일 수도 있지만)
어떤 명제의 부정명제(난 거짓말쟁이다)가 재귀모순에 빠진다고 해서
원 명제(난 참말도 한다)가 항진명제라 할 수 없다.
따라서 생각0.의 증명은 잘못된 증명이다.