Do you really want to send neil a message saying you like their work?
The proof of incompleteness assumes, of course, that said formal system is consistent.
Yes, outside links are naughty, but see http://www.ddc.net/ygg/etext/godel/index.htm