Notar que muy rara vez tiene sentido referirse a la "fórmula" formula_23 ; el primer cuantificador de una fórmula es o bien existencial o universal.