Gödel, Tarski and the Lure of Natural Language