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