Logique, Preuve de programme, Induction