数学中有些命题的正确性是人们在__长期实践____中总结出来的,可以作为判断其他命题的真假的___原始___依据,这样的真命题叫做公理.
数学中有些命题可以从公理或其他真命题出发,用_推理_____的方法判断它们是正确的,并且可以进一步作为判断其他命题真假的依据,这样的命题叫做定理.