Tossup

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

Back to tossups

Buzzes

Summary