Rigorous mathematics and Deductive Reasoning