TD 8 - Preuves formelles
Si M vérifie les axiomes de Péano, alors N n M est clairement récurrent, et il résulte du troisième axiome de Péano, appliqué à. N et à M que N = N n M = M. 4.
Si M vérifie les axiomes de Péano, alors N n M est clairement récurrent, et il résulte du troisième axiome de Péano, appliqué à. N et à M que N = N n M = M. 4.