对顶角相等是定理，不是公理，是建立在所有的平角都相等的基础上的，可以证明的。

公理是不需要认证的，是公认的，可以直接用的。定理是需要证明它是对的，才可以用的。