"On an Application of Tarski's Theory of Truth" - читать интересную книгу автора (Quine W V)