475), a partir de la distinción que Bertrand Russell y Alfred North Whitehead hicieron en los Principia Mathematica en dos operadores, E! «indicando exactamente uno» y E!! indicando «único», Stephen Kleene, definió el cuantificador existencial «exactamente uno» formula_28, explícitamente: