Originalmente, Peano propuso los axiomas para caracterizar a los números naturales, y los símbolos primitivos se debían interpretar de esta manera natural.