Tossup

Mereology (“mee-ree-ology”) unproblematically incorporates an analogue of these objects’ rule of unrestricted comprehension, (10[1])which was originally called Basic Law V (“five”). Type theory was developed to resolve a paradox (10[1])about these objects, which is often compared to a barber who can’t shave himself. (10[2]-5[1])Gottlob Frege (“FRAY-guh”) defined numbers as these objects, which is also done in Zermelo-Frankel (10[1])theory. The naïve theory of these objects is subject to Russell’s paradox, (10[1])which concerns one of these objects containing all of these objects that do not 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■ (10[1])

Back to tossups

Buzzes

Summary