Metadata
Author: WikiMatrix
Data
Esperanto[eo]
Kvantoro de pli alta tipo, kiel aroj de naturaj nombroj, estas priskribita per supra indico pli granda ol 0, kiel en la analitika hierarkio.
Portuguese[pt]
Quantificação sobre tipos de objetos mais elevados, tais como funções de números naturais aos números naturais, são descritas por um sobrescrito superior a 0, tal como na hierarquia analítica.