El ejercicio 5.a pide "Escriba el tipo de similaridad de las siguientes estructuras".
La parte II es:
⟨N, +, ×, S, 0, 1, 2, 3, 4, . . . , n, . . .⟩, donde S(x) = x + 1
Es decir, parecería tener infinitas constantes. ¿Esto es posible? En el teórico todos los ejemplos usan una cantidad finita de constantes. En caso de ser correcto, ¿cuál sería la notación? ¿Símbolo de infinito en la cantidad de constantes?
Gracias.