公理和定理有什么区别?