BasicSetTheory. A set is a Many that allows itself to. be thought of as a One. - Georg Cantor. This chapter introduces settheory, mathematical in- duction, and formalizes the notion of mathematical functions.
In this chapter, we examine some of the basic ideas of settheory that have a bearing on formal semantics. 2. Membership. Fundamental to settheory is the notion of membership – sets have members, also called. elements.