Théorème D'Indéfinissabilité de Tarski

Résultat formel établissant qu'aucun langage formel suffisamment expressif (par exemple capable de représenter l'arithmétique élémentaire) ne contient une formule qui définisse correctement et uniformément le prédicat de vérité pour les phrases de ce même langage.