Hola, en el pdf Sintaxis de la Logica de Predicados dice :
U es un conjunto no vacío,
R1 , … , Rn son relaciones sobre U (n ≥ 0)
F1 , … , Fm son funciones en U (m ≥ 0)
Ci (1 ≤ i ≤ k) son elementos distinguidos de U
Por lo que entiendo que una estructura puede tener 0 relaciones y 0 funciones, pero al menos 1 constante ya que dice "Ci (1 ≤ i ≤ k)" (Mientras que para relaciones y funciones se aclara explicitamente n ≥ 0 y m ≥ 0, no se aclara para constantes)
Pero luego en la siguiente diapositiva dan como ejemplo la estructura: ⟨ℕ, <⟩ tiene tipo ⟨2; −; 0⟩, Que tiene 0 constantes. Capaz que no lo entendí bien pero me pareció contradictorio.
En concreto la pregunta es ¿Puede una estructura tener 0 constantes?