\begin{axiom}\label{ax1}
    If $x$ is even, then $x$ is even.
\end{axiom}