Definition:Cardinality of Finite Class/Definition 1
Jump to navigation
Jump to search
Definition
Let $A$ be a class.
Let $A$ be such that:
- there exists a bijection $\phi$ from $A$ to $n$
where $n$ is a natural number as defined by the von Neumann construction.
Then $A$ has cardinality $n$.
Also see
Sources
- 2010: Raymond M. Smullyan and Melvin Fitting: Set Theory and the Continuum Problem (revised ed.) ... (previous) ... (next): Chapter $3$: The Natural Numbers: $\S 6$ Finite Sets