Este conjunto de axiomas no es único, ya que pueden ser substituidos por otros equivalentes.