Bajo esta interpretación, todos los axiomas resultan verdaderos, y los axiomas ya no definen a los números naturales, sino a los números pares.