Como la declaración de interés es universal, debemos demostrar que, sic es un elemento arbitrario deA\(\mathfrak{A} \models \exists y P \left( x, y \right) \left[ s \left[ x | c \right] \right...Como la declaración de interés es universal, debemos demostrar que, sic es un elemento arbitrario deAA⊨∃yP(x,y)[s[x|c]],, lo que significa que debemos producir un elemento del universo,d, tal queA⊨P(x,y)[(s[x|c])[y|d]].
