Definition:Cardinality of Finite Class/Definition 2
Jump to navigation
Jump to search
Definition
Let $A$ be a class.
Let $A$ be such that:
where:
- $n$ is a natural number as defined by the von Neumann construction
- $n^+$ is the successor of $n$.
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