| English | eng-000 |
| universal quantification | |
| català | cat-000 | quantificador universal |
| Deutsch | deu-000 | Allaussage |
| Deutsch | deu-000 | Allquantor |
| français | fra-000 | quantificateur universel |
| italiano | ita-000 | quantificatore universale |
| português | por-000 | quantificação universal |
| русский | rus-000 | навешивание квантора общности |
| español | spa-000 | cuantificador universal |
| svenska | swe-000 | generellt giltig utsaga |
| svenska | swe-000 | generellt giltigt påstående |