괴델께서 말씀하시길

불확정성 원리로서,

제1 정리의 결론은

"모순없는 수학적 형식체게가 있다고 할 때,  그 체게 안에는 참이면서 동시에 증명이 불가능한 명제가 존재한다."

 

제 2정리는

"수론에 적합한 어떤 형식체계의 모순성은  그  체계 안에서는 증명할 수 없다."

 

그렇다면 그 발표 당시에  내가 그 자리에

있었다면 괴델께 이렇게 물었을 것입니다.

.

" 박사님의 그 정리는

증명이 가능한 것입니까,

증명이 불가능한 것입니까.

.

박사님의 제 1 정리와 제 2정리에 의하여  증명이 불가능할 것 같은데요.

박사님 자신이 거짓말장이 파라독스의  주인공이시네요. 

더구나 성립하지도 않는 칸토르의 대각선 논법에서 온 것이지 않습니까.

.

방금하신 발표는 박사님의 농담이신가요?"

.

.

^   ^