Jenere yon vèsyon pi konplèks nan fraz sa a Prèv la nan pati a anwo nan teorèm lan tou montre ke yon teyori ki pa gen okenn fini mare sou kardinal yo nan modèl li yo dwe gen yon modèl enfini.
Natirèlman, yon vèsyon pi konplèks nan fraz la se "Pwovèb la nan pati nan pi wo a nan teorèm nan tou montre ke yon teyori ak modèl fini abitrèman gwo dwe gen yon modèl enfini; pafwa sa a se konsidere kòm yon pati nan teorèm nan. "