Las fórmulas de formula_15 se definen dualmente, son el conjunto de fórmulas de segundo orden que contienn sólo cuantificadores formula_16.