1 Twierdzenie. Gdy $\bar{\alpha }$ oznacza daną liczbę porządkową, to istnieje ciało algebraiczne mocy ${\aleph }_{\bar{\alpha }}$.

2 Twierdzenie. Gdy $\bar{\alpha }$ oznacza daną liczbę porządkową, to zbiór wszystkich typów ciał algebraicznych mocy ${\aleph }_{\bar{\alpha }}$ jest mocy $2^{{\aleph }_0}$.