定义 1就是1 说不出来为什么的
定理 就是根据定义推出来的 比如定义a+b=c 可以的出a-c=-b
公理 长期生活得出来的 比如1+1=2