2.2. Elementary induction and complete induction, strong induction Notes | Discrete Structure BEI | TU | TABFlux