"azok a first order formulák, amelyek minden véges modellen igazak, nem sorolhatók fel."

Ha rögzítve van egy nyelv ami megszámlálható, akkor ennek az összes formuláját fölsorolom. Ezután már csak az lehet a baj, ha eldönthetetlen egy adott formuláról, hogy minden véges modellben igaz-e. De még ha eldönthetetlen is, attól az én felfogásom az, hogy létezik rá egy "helyes" válasz a "valóságban", csak a jelenlegi matematikai eszköztárunkkal nem tudjuk ezt felderíteni.