简述门格尔对抽象演绎法的定义。