Are Sets All There is?

  • Yiannis¬†N.¬†Moschovakis
Part of the Undergraduate Texts in Mathematics book series (UTM)


Our next goal is to determine whether the basic results of naive set theory in Chapter 2 can be proved on the basis of the axioms of Zermelo. Right at the start we hit a snag: to define the crucial notion of equinumerosity we need functions; to define countable sets we need the specific set N of natural numbers; the fundamental theorem 2.21 of Cantor is about the set ūĚď° of real numbers, etc. Put another way, the results of Chapter 2 are not only about sets, but about points, numbers, functions, Cartesian products and many other mathematical objects which are plainly not sets. Where will we find these objects in the axioms of Zermelo which speak only about sets?


Equivalence Relation Binary Relation Pairwise Disjoint Mathematical Object Definite Condition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 1994

Authors and Affiliations

  • Yiannis¬†N.¬†Moschovakis
    • 1
  1. 1.Department of MathematicsUniversity of CaliforniaLos AngelesUSA

Personalised recommendations