Mamorona dikan-teny sarotra kokoa amin'ity fehezanteny ity Ny porofon'ny ampahany miakatra amin'ny teorema dia mampiseho ihany koa fa ny teoria izay tsy misy fetra voafetra amin'ny kardinalin'ny modely dia tsy maintsy manana modely tsy manam-petra.
Mazava ho azy, ny dikan-teny sarotra kokoa amin'ny fehezanteny dia "Ny porofon'ny ampahany ambony amin'ny teorema dia mampiseho ihany koa fa ny teoria iray misy modely voafetra lehibe dia tsy maintsy manana modely tsy manam-petra; indraindray dia heverina ho ampahany amin'ny teorema izany. "