展开 定义定理公理性质有什么区别