公理和定理都要经过证明才能判断其正确性