“In 1931, Tarski proved quite simply that... there is no complete language of science. ...Tarski's proof... essentially consists in showing that, as soon as you not only exhibit the statements but add to them the statement, "is true," you are in trouble because you are bound to be landed in contradictions like the one which arises in the {{w|Epimenides paradox}}.”