Tossup

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

Back to tossups

Buzzes

Summary