The Definability of Cardinal Numbers
One says that the sets x and y are equinumerous (in symbols, x ≈ y) if there is a 1 – 1 function mapping x on y. The notion of the cardinal |x| of x is obtained from equinumerosity by abstraction. The use of |x| does usually not require any special apparatus. E.g., when we say |x| — ℵ0 we mean to say that there is a 1 – 1 function mapping x on the set of all natural numbers; when we say |x| < |y| we mean that there are 1 – 1 functions mapping x into y, but none of them is onto y; etc. As is common in mathematics, one tends to pass from the abstract notion of cardinal numbers to real cardinal numbers, i.e., one wants to regard the cardinal numbers as objects of the mathematical system. This is where one encounters the problem of how to define the cardinal | x | of x as an object of set theory.
KeywordsFree Variable Cardinal Number Axiom Schema Operation Symbol Membership Relation
Unable to display preview. Download preview PDF.
- 2.Fraenkel, A. A., and H. Bar-Hillel: Foundation of set theory. Amsterdam: North Holland Publishing Co. 1958.Google Scholar
- 6.Mostowski, A.: Über die Unabhängigkeit des Wohlordnungssatzes vom Ordnungsprinzip. Fundamenta Mathematicae 32, 201–252 (1939).Google Scholar
- 9.Sttppes, P.: Introduction to logic. Princeton: D. Van Nostrand Co. 1957.Google Scholar
- 10.Tarski, A.: General principles of induction and recursion in axiomatic set theory (abstract). Bull. Amer. Math. Soc. 61, 442–443 (1955).Google Scholar