Introduciremos, entonces, lo que es un cuantificador, que usaremos como herramienta para modificar un enunciado formula_6 en una proposición formula_16.