Generați o versiune mai complexă a acestei propoziții Dovada părții superioare a teoremei arată de asemenea că o teorie care nu are limită finită pe cardinalitățile modelelor sale trebuie să aibă un model infinit.
Desigur, o versiune mai complexă a propoziției este "Dovada părții superioare a teoremei arată, de asemenea, că o teorie cu modele finite arbitrar mari trebuie să aibă un model infinit; uneori acest lucru este considerat a fi parte a teoremei".