A Zermelo-Frenkel-Holma zelmélet és rokonait csak konzisztent sokaságokat engednek meg változói kértékei között. A Zermelo-Frenkel-Holma zelmélet és rokonait csak konzisztent sokaságokat engednek meg változói kértékei között.