展开 定义定理公理都是命题