Para un enunciado abierto formula_6, la proposición formula_37 se lee existe un único formula_2 tal que formula_6.