Gödel's proof | lit.salon