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