« Axiomes de Peano » : différence entre les versions