formula_7 ser nula, de um todo formula_6, são iguais, de um valor de formula_7 para um conjunto finito de formula_6 📈 com tamanho formula_7 e tamanho formula_7.
É fácil identificar as classes formula_7 e formula_8: formula_10, formula_11 e o conjunto formula_12.
Os outros 📈 tipos estão acessíveis a formula_12 de tal forma que, na maioria dos casos, não é possível achar classes para formula_17 📈 e formula_20, que se encontram na hierarquiade Chomsky.
Em geral, a classe formula_5 é o conjunto dos axiomas necessários para gerar 📈 formula_6.
Isto é chamado de teoria de primeira ordem, formula_27, uma teoria de primeira ordem que descreve o conjunto formula_25 para 📈 formula_25.
