'"The sentence ‘Snow is white’ is true if and only if snow is white."

Tarski is one of the greatest logicians of the 20th century. He is known among other things for his mathematical analysis of the concepts of truth and logical consequence, and his mathematical work including the Banach-Tarski paradox and the theorem on the indefinability of truth.'