Este axioma se presentó usando el símbolo formula_56.