Tossup

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

Back to tossups

Buzzes

Summary