Well ordering property and induction

Printable View