填空題演繹法一般分為公理演繹法和()兩種。