... constructive ou arithmétique de Fermat-Kronecker est ... de consistance de l'arithmétique de Peano (second théorème . ... Cours Et Exercices Corriges.pdf introduction à la logique, théo
exercices et des problèmes corrigés complètent chaque chapitre. ... cycliques, petit théorème de Fermat, lemme chinois, etc. 1.1. DÉ ...