azok a first order formulák, amelyek minden véges modellen igazak, nem sorolhatók fel. Ez ugye nem így van végtelen esetben.

Pontosabban, azt nem tudom, hogy végtelen modellek esetében így van-e. A véges és végtelen modellek üres elmélete mindenesetre felsorolható; Gödel teljességi tételének első alakja (1929-30) ez volt.

Megjegyzés: mindenkinek, akit a logika érdekel, ajánlom Gödel eredeti bizonyítását a teljességi tételre - tehát nem a mindenki által tanult Henkin-bizonyítást a Henkin-konstansokkal. Gödel redukálta a formulabonyolultságot, a természetes számok sztenderd modelljén dolgozott (Skolem nyomán), külön Wikipedia-szócikk fogalakozik ezzel.

A Henkin-konstansok elmélete különben a modellelmélet egy külön fejezetét jelenti. Monográfia is van erről (Henkin-Keisler modellek, 1965-ös Keisler módszere).