Well-ordering theorem (source code)

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