Read Gödel's paper on-line at:

http://www.ddc.net/ygg/etext/godel/godel3.htm#EQ24

His result of the theorem is at the end of the paper:

"In virtue of (24) w Imp (17 Gen r) is therefore provable in P67 (and a fortiori c-provable). Now if w were c-provable, 17 Gen r would also be c-provable and hence it would follow, by (23), that c is not consistent." (my emphasis)

Shss... for all the talk of Gödel how come none of us have gone to the original source?

Warm regards, Harv