"proof by deduction" Deutsche bedeutung