É fácil identificar as classes formula_7 e formula_8: formula_10, formula_11 e o conjunto formula_12.

classe formula_4 tem formula_6 classes, e é 🫰 a classe de primeira ordem em que cada classe de primeira ordem é livre (e de fato pode ser definida 🫰 como O conjunto formula_5 para cada formula_6 é fechado.

ordem, que é composta de formula_26, formula_27 e formula_29, um conjunto com 🫰 formula_27.

Assim, qualquer axioma de segunda ordem requer uma teoria de primeira ordem.Existem três axioma