Una de les diverses teories de conjunts que s'utilitzen en els fonaments de les matemàtiques.