1 ressource : théorème de Gödel