展开 公理和定理怎么区分