En éste, uno de los axiomas no debe ser deducible de otros.