well-ordering theorem

random

tagged

wikipedia