Pierre Colmez, Éléments d'analyse et d'algèbre (et de théorie des nombres), Éditions École Polytechnique, (lire en ligne), p. 87.
eudml.org
Ce résultat a été démontré par Czesław Ryll-Nardzewski en 1952, (en) Czesław Ryll-Nardzewski, « The role of the axiom of induction in elementary arithmetic », Fundamenta Mathematicae, vol. 39, no 1, , p. 239–263 (ISSN0016-2736, lire en ligne, consulté le ), voir (en) Richard W. Kaye, Models of Peano arithmetic, Oxford : Clarendon Press ; New York : Oxford University Press, (ISBN978-0-19-853213-2), p. 132, ouvrage qui contient aussi une preuve du résultat.
issn.org
portal.issn.org
Ce résultat a été démontré par Czesław Ryll-Nardzewski en 1952, (en) Czesław Ryll-Nardzewski, « The role of the axiom of induction in elementary arithmetic », Fundamenta Mathematicae, vol. 39, no 1, , p. 239–263 (ISSN0016-2736, lire en ligne, consulté le ), voir (en) Richard W. Kaye, Models of Peano arithmetic, Oxford : Clarendon Press ; New York : Oxford University Press, (ISBN978-0-19-853213-2), p. 132, ouvrage qui contient aussi une preuve du résultat.