公理和定理有什么不同