展开 数学公理定理的区别