同角的余角相等是公理吗 (同角的余角相等是定义吗)

同角的余角相等是公理吗

公理是指依据人类理性的不证自明的基本事实，经过人类长期反复实践的考验，不需要再加证明的基本命题。用推理的方法判断为真的命题叫做定理。
公理有：同位角相等，两直线平行；内错角相等，两直线平行；同旁内角互补，两直线平行。
定理有：同角或等角的补角相等；同角或等角的余角相等。