Source: wikibot/well-ordering-theorem

= Well-ordering theorem
{wiki=Well-ordering_theorem}