Ce résultat, outre qu'il est sans doute faux (car l'ensemble des vérités est un sousensemble des propositions du langage formel qui les décrit, et est donc dénombrable), n'est pas en soi gênant ; il y a bien longtemps que les mathématiciens ont inventé la <url> (et plus récemment la <url>) pour contourner cette difficulté. Enfin, où donc est Dieu (ou un être omniscient) dans tout cela ?