Ngahasilkeun versi anu leuwih kompleks tina kalimat ieu Buktina bagian luhur téoréma ogé némbongkeun yén hiji téori nu teu boga wates nu kawates dina kardinalitas modélna kudu boga modél nu teu aya watesna.
Tangtu, versi nu leuwih kompleks tina kalimah nyaéta "Buktian bagian luhur téoréma ogé némbongkeun yén hiji téori jeung modél finit nu gedé sacara sawenang-wenang kudu boga modél anu teu aya watesna; sakapeung ieu dianggap minangka bagian tina téoréma".