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