Si hacemos una pregunta "∃ "y" ("y" × "y" = 1 + 1)" en este lenguaje, entonces está claro que la sentencia es verdadera para reales, ya que existe tal número real "y", a saber la raíz cuadrada de 2.