Tarski showed how we can give a compositional theory of truth for artificial languages.
وأظهرت Tarski كيف يمكننا ان نقدم نظرية تركيبية من الحقيقة من أجل لغات مصطنعة.