
Objetos primitivos: ponto e reta. 

Relação primitiva: [ponto] pertence a [reta] ("relação de incidência"). 

Objetos definidos: retas que se interceptam, retas paralelas. 
 
\begin{center}
    \textbf{Axiomas}
\end{center}

 \textbf{\Axioma{I}{1}}
 \textit{\input{01/I1.2}}
 [Este é o novo enunciado do axioma II que passará a ser usado doravante.]
 
 \textbf{\Axioma{I}{2}}
 \textit
 {
    \input{01/I2}
    Em outras palavras, dados dois pontos distintos quaisquer, 
    existe uma e uma só reta que os contém.
 }
 
 \textbf{\Axioma{I}{3}}
 \textit
 {
    \input{01/I3}
 }
 
 \textbf{\Axioma{P}{1}}
 \textit
 {
    \input{02/P1} (Existência)
 }
 
 \textbf{\Axioma{P}{2}}
 \textit
 {
    \input{02/P2} (Unicidade)
 }
 
\vspace{0.5cm}

\begin{center}
    \textbf{Teoremas}
\end{center}

\textbf{Propriedade de Paralelismo.} 
 Se $r$ é paralela a $s$, e $s$ é paralela a $t$, então $r$ é paralela a $t$. 

\textbf{Teorema \ref{teo:1line2points}.}
 \input{02/TA}

\textbf{Lema \ref{lemma:transversal}: Lema da Transversal.}
\input{02/LT}

\textbf{Teorema \ref{teo:4points6lines}.}
\input{02/TB}

\textbf{Teorema \ref{teo:line.k.points}.}
\input{02/TC}

\textbf{Teorema \ref{teo:point.m.lines}.}
\input{02/TD}
