vérité de Tarski

théorie de la vérité de Tarski

DIDACTIQUE
FONDEMENTS DES MATHEMATIQUES

Dans les années 1930, Tarksi a élaboré une théorie sémantique de la vérité.
En général est introduite la distinction entre le langage que l’on parle ou langage objet et le langage qu’on utilise pour discuter ou métalangage. Tarski considère que le langage objet doit être contenu dans le métalangage.