In 1933, he published (in Polish) The concept of truth in formalized languages, in which he proposed his semantic theory of truth: a sentence such as "snow is white" is true if and only if snow is white.
1933年に、彼は(ポーランド語で)『形式言語における真理の概念』を発表し、その中で自身の真理の意味論を提案した: 「雪は白い」のような文は雪が白いときに、そしてそのときにのみ真である。