Théorème de Tarski
théorème limitatif
Théorème de Tarski
En logique mathématique, le théorème de Tarski, ou théorème de non définissabilité de Tarski, s'énonce informellement ainsi :On ne peut définir dans le langage de l'arithmétique la vérité des énoncés de ce langage.
Lire sur Wikipédia · Image George Bergman, CC BY-SA 4.0
_(cropped).jpg){kind=link}
Ouvre des boosters, collectionne des cartes et échange-les. Gratuit.
Jouer gratuitement