"proof by induction" Deutsche bedeutung