| português | por-000 |
| quantificação universal | |
| català | cat-000 | quantificador universal |
| Deutsch | deu-000 | Allquantor |
| English | eng-000 | universal quantification |
| français | fra-000 | quantificateur universel |
| italiano | ita-000 | quantificatore universale |
| español | spa-000 | cuantificador universal |
| svenska | swe-000 | generellt giltig utsaga |
| svenska | swe-000 | generellt giltigt påstående |