faut juste savoir que toute partie de N a un minimum.

Mais bon rien n'est simple quand on ne donne pas les axiomes ni les définitions précises des concepts