Abstract

L'intuition directrice de Tarski est contenue dans un de ses exemples récurrents qu'il donne sur le rapport entre le langage et le monde, les théories et les langages formalisés : « la neige est blanche est vrai, si et seulement si la neige est blanche ».