  Basta exibir um modelo que satisfaz \axiom{I}{2}, \axiom{I}{3}, \axiom{P}{1} e \axiom{P}{2},
  mas não satisfaz  \axiom{I}{1}.
  [Por que? 
     Porque se \axiom{I}{1}, fosse um teorema provado a partir dos quatro axiomas, 
     então \axiom{I}{1} seria válido em qualquer modelo que satisfizesse aqueles
  axiomas.] 
  
  Os pontos são as letras $A$, $B$, $C$.
  
  Só uma reta: $\{A, B, C\}$.
  
  
  Este modelo não satisfaz \axiom{I}{1}, pois não existe ponto fora da reta $\{A, B, C\}$.
  E claro que satisfaz \axiom{I}{2} e \axiom{I}{3}.
  Quanto a \axiom{P}{1} e \axiom{P}{2}, eles são satisfeitos, pois a hipótese não está presente,
  por não existir ponto fora da reta, e, portanto, a tese não pode ser contrariada. 
  Quando a hipótese não está presente, dizemos que a afirmação está provada por vacuidade.
  