15 févr. 2008 ... Cet exposé sera, essentiellement, un commentaire de deux papiers d'Herbrand. ?
Non-contradiction des axiomes .... Herbrand montre la cohérence d'une
extension de cette théorie o`u l'on ajoute les axiomes d'induction .... `a la page
web de Peter Andrews et bonne preuve dans le livre de Shoenfield). 31 ... 
