World's shortest explanation of Gödel's theorem http://blog.plover.com/math/Gdl-Smullyan.html