定理和公理有什么差别?