Eng méi komplex Versioun vun dësem Saz generéieren De Beweis vum upward Deel vum Theorem weist och datt eng Theorie déi keng endlech Grenz op de Kardinalitéite vu senge Modeller huet muss en onendlecht Modell hunn.
Natierlech ass eng méi komplex Versioun vum Saz: "De Beweis vum upward Deel vum Theorem weist och, datt eng Theorie mat willkürlech groussen endleche Modeller en onendleche Modell muss hunn; heiansdo gëtt dat als Deel vum Theorem ugesinn".