##  [Théorème D'Indéfinissabilité de Tarski](/fr/node/60107) 

  ##  [Théorème D'Indéfinissabilité de Tarski](https://mathlogic.quantumdictionary.io/fr/node/60108) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Définition

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.