\itemtitle
{
Já que é impossível provar que existem retas paralelas, 
se quisermos que elas existam teremos que declarar isto através de um axioma. 
Mas a experiência aconselha-nos a tomar um e declarar que retas paralelas existem.
É melhor tratar da possibilidade de existência e de unicidade de reta paralela 
a uma reta dada por um ponto fora da reta. 
Enunciaremos a existência e a unicidade em axiomas separados.



\begin{Axiom}[\axiom{P}{1}]
 \label{ax:P1}
 \input{02/P1} (Existência.) 
\end{Axiom}

\begin{Axiom}[\axiom{P}{2}]
 \label{ax:P2}
 \input{02/P2} (Unicidade.) 
\end{Axiom}
}
