Por ejemplo, interpretando al símbolo 0 como el número cero, y al predicado "N" como los números naturales, el primer axioma resulta verdadero, porque es verdad que «el cero es un número natural».