演绎法一般分为公理演绎法和  两种。