well-ordering theorem

random

Wikipedia