先形成定理随后形成公理 ,就是
定理需要某些逻辑框架,继而形成一套公理
换句话说公理是我们公认的一个事实的东西,定理是从公理可以推出来的常用理论
内错角相等,两直线平行 同旁内角互补,两直线平行 都是根据同位角相等,两直线平行推出来的