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