Mereology (“mee-ree-ology”) unproblematically incorporates an analogue of these objects’ rule (10[1])of unrestricted comprehension, (10[1])which was originally (10[1])called Basic (10[1])Law V (“five”). Type theory (10[1])was developed to resolve a paradox (10[1])about these objects, (10[3])which is (10[1])often compared to a barber (10[1])who can’t shave himself. (10[15]-5[5])Gottlob (10[5]0[1]-5[2])Frege (10[4]-5[4])(“FRAY-guh”) defined numbers as (-5[1])these objects, (-5[2])which (10[1])is also done in Zermelo-Frankel (10[6]-5[1])theory. (10[6])The naïve theory (10[2])of these objects (10[2])is subject (10[3])to Russell’s paradox, (10[6]-5[1])which concerns (10[1])one (10[1])of (10[1])these objects (10[1])containing (10[1])all (10[1])of these objects (10[4]-5[1])that do (10[1])not (10[3])contain (10[3])themselves. (10[10])De Morgan’s laws (10[2])axiomatize (10[1])the union (10[2])and (10[2])intersection operations on these (10[2])objects. (10[6])For 10 points, name these unordered collections of objects. (10[2])■END■ (10[15])