Un peu de théorie
1900: David Hilbert au congrès de mathématiques de Paris pose la question concernant la consistance, la complétude et la décidabilité de l’arithmétique
1930: Kurt Godel résout le problème de la complétude (par la négative), puis résoudra le problème de la consistance (impossibilité)