3.2. Strong induction and well-ordering Notes | Discrete Structure BDS | TU | TABFlux