Principe du Bon Ordre

L'affirmation selon laquelle tout ensemble non vide d'entiers positifs (ou plus généralement tout ensemble bien ordonné) possède un plus petit élément pour l'ordre usuel ; en pratique on l'énonce souvent pour les nombres naturels : « tout sous-ensemble non vide de N possède un plus petit élément ».