定理和公理有什么区别?