Cette étude introduit à la problématique de la construction sémantique du concept de vérité, lorsqu'il s'agit de saisir le sens du prédicat « vraie » dans l'énoncé « La proposition P est vraie » à l'intérieur de la pluralité des modèles relevant de langages formalisés. Y sont exposés les principaux résultats auxquels Alfred Tarski est parvenu dans Le concept de vérité dans les langages formalisés ainsi que les conditions méthodologiques ayant permis leur fondation métalogique.