псы в рапиде » from archive
Mark Jason Dominus: World's shortest explanation of Gödel's theorem - http://blog.plover.com/math/Gdl-Smullyan.html