You might also be interested in Tarski's work about the undefinability of truth.