第10章 抽象原则作为隐定义的理论基础