On The Concept Of Truth In Formalized Languages