Décrivez les implications philosophiques et mathématiques des théorèmes d'incomplétude de Gödel. En quoi ces résultats prouvent-ils que dans tout système formel assez puissant pour contenir l'arithmétique élémentaire, il existe des vérités mathématiques qui ne peuvent être ni prouvées ni réfutées à l'intérieur du système lui-même ?