其实任何定理都是由先人推理出的公理推导出来的,证明的定义不外乎通过命题证明的过程.