O axioma \axiom{I}{2} é independente de
\axiom{I}{1}, \axiom{I}{3}, \axiom{P}{1} e \axiom{P}{2}.
