Principio del Buen Orden

La afirmación de que todo conjunto no vacío de enteros positivos (o más generalmente todo conjunto bien ordenable) tiene un elemento mínimo respecto al orden habitual; en la práctica se enuncia a menudo para los números naturales como 'todo subconjunto no vacío de N tiene un menor elemento'.