Generate a more complex version of this sentence Pembuktian bagian atas dari teorema juga menunjukkan bahwa sebuah teori yang tidak memiliki batas terbatas pada kardinalitas modelnya harus memiliki model tak terbatas.
Tentu saja, versi kalimat yang lebih kompleks adalah "Bukti bagian atas teorema juga menunjukkan bahwa teori dengan model terbatas yang besar sewenang-wenang harus memiliki model tak terbatas; kadang-kadang ini dianggap sebagai bagian dari teorema".