Hypothelico-deductive method

 A method which starts with a few general postulates from which testable theorems and carollaries are derived by rigorous deductions and subsequently, the derivations are tested empirically.