Wohlordnungsprinzip

Die Aussage, dass jede nichtleere Menge positiver Ganzer (oder allgemeiner jede wohlordnungsfähige Menge) ein kleinstes Element bezüglich der üblichen Ordnung besitzt; praktisch formuliert man dies oft für die natürlichen Zahlen: 'jede nichtleere Teilmenge von N hat ein kleinstes Element.'