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. »

Problème de cohabitation avec une belle-mère envahissante ? Sentiment de culpabilité lié à son statut de rescapé ? Besoin compulsif d'« épater le bourgeois » ? Peut-on jamais savoir avec certitude ce qui pousse un homme à engendrer un théorème de logique mathématique ?

(Włodzisław Szczur, Mathématique du néant)