Elnézést, nem fogalmaztam pontosan. A projektív hierarchia már egy olyan halmazrendszer, amely jellemzésével számosan előfordulnak ZFC-ftlen állítások.
Minél jobban haladunk a bonyolultabb halmazok felé (nem diffható >> nincs a projektív hierarchiában), annál több ZFC-ftlen állítást kapunk.