The Concept of Truth in Formalized Languages