Um axioma é independente dos demais se não pode ser provado a partir deles. 
Na verdade, o que se pretende é confirmar que eles são axiomas de fato.
Prove que: 

\begin{enumerate}
 \item \input{02/L02/02/a}
 \item \input{02/L02/02/b}
 \item \input{02/L02/02/c}
 \item \input{02/L02/02/d}
 \item \input{02/L02/02/d}
\end{enumerate}
