"deductive proof" Deutsche bedeutung