Mathematico-deductive method