一演绎法的研究