Activité sur Theoremes d'incompletude de godel