1 Twierdzenie. Gdy ᾱ oznacza daną liczbę porządkową, to istnieje ciało algebraiczne mocy ℵᾱ.
2 Twierdzenie. Gdy ᾱ oznacza daną liczbę porządkową, to zbiór wszystkich typów ciał algebraicznych mocy ℵᾱ jest mocy 2ℵ0.