توليد نسخة أكثر تعقيدًا من هذه الجملة إثبات الجزء العلوي من النظرية يظهر أيضًا أن النظرية التي ليس لها حدود محدودة على الأساسيات من نماذجها يجب أن يكون لها نموذج لا نهائي.
وبطبيعة الحال، فإن نسخة أكثر تعقيدًا من الجملة هي "إن إثبات الجزء العلوي من النظرية يظهر أيضًا أن النظرية التي تحتوي على نماذج محدودة كبيرة بشكل تعسفي يجب أن تحتوي على نموذج لا نهائي؛ أحيانًا يعتبر هذا جزءًا من النظرية".