展开 定义定理公理命题的区别