Genereer'n meer komplekse weergawe van hierdie sin Die bewys van die boonste deel van die stelling toon ook dat'n teorie wat geen eindige grense het op die kardinaliteite van sy modelle nie,'n oneindige model moet hê.
Natuurlik is 'n meer komplekse weergawe van die sin "Die bewys van die boonste deel van die stelling wys ook dat 'n teorie met willekeurig groot eindige modelle 'n oneindige model moet hê; soms word dit as deel van die stelling beskou".