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