Lo mismo ocurre con todos los otros axiomas: bajo las interpretaciones naturales de 0, "N" y "x"', cada uno de los axiomas resulta verdadero.