הוצא גרסה מורכבת יותר של המשפט הזה ההוכחה של החלק העליון של התורה גם מראה שלתיאוריה שאין לה גבול סופי על קדנליות המודלים שלה חייב להיות מודל אינסופי.
כמובן, גרסה מורכבת יותר של המשפט היא "ההוכחה של החלק העליון של התורה גם מראה כי תיאוריה עם מודלים סופיים גדולים באופן שרירותי חייבת להיות מודל אינסופי; לפעמים זה נחשב להיות חלק מהתורה".