正則性公理や置換公理など、zfcの強さの多くは、主に集合論自体の研究を容易にするために含まれている。