Una fórmula de segundo orden existencial es una fórmula del conjunto formula_10 que contiene además algunos cuantificadores existenciales sobre varialbes de segundo orden, es decir, formula_11, donde formula_12 es una fórmula de primer orden.