Round 1: Tossup 6

Lotfi Zadeh defined “fuzzy” versions of these objects where the law of excluded middle doesn’t hold. Atypically, the NF theory of these objects uses an IFF for the axiom of extensionality. Max Zorn showed that partially (15[1])ordered types (15[1])of these objects must have a maximal element. (15[1])The (*) Cartesian product between two of these objects can be formatted using “builder notation.” Zermelo and Fraenkel’s theory for these things is called ZFC when including the axiom of choice. The cardinality of the empty one of these objects is zero. For 10 points, curly braces are used to write what unordered collections of elements? ■END■

Back to tossups

Buzzes

Summary