Logique arithmétique : L'arithmétisation de la logique

La logique arithmétique est la logique interne de l''arithmétique, c''est la traduction ou l''interprétation de la logique formelle dans le langage de l''arithmétique. Cette arithmétique n''est pas l''arithmétique formelle de Frege et Peano, mais l''arithmétique classique de Fermat à Kronecker jusqu''à la théorie contemporaine des nombres. L''hypothèse proposée ici suppose qu''après l''arithméti...