 Parts of Classes (1991a) and “Mathematics is Megethology” (1993d) consider the distinctive philosophical problems raised by  set theory.  As Lewis notes, it is widely held that all of mathematics reduces to set theory. But there is little consensus about what the metaphysics of set theory is. Lewis puts forward two proposals that might, collectively, help to clarify matters.