Las declaraciones cuantificadas se escriben en la forma formula_47 que se leen "para todo formula_8, es verdad que formula_23" y "existe por lo menos un formula_50 tal que formula_24 es verdad".