第十章 抽离的演绎系统