Théorème d'incomplétude de Gödel : exemples et contre-exemples

Nous commencerons par une approche historique de la logique du point de vue des mathématiques, puis nous attaquerons quelques exemples de théorie des modèles et de métaraisonnements pour enfin terminer sur le théorème de Gödel et une vague idée de sa démonstration.