Definition:Infinite Cardinal

From ProofWiki
Jump to navigation Jump to search

Definition

Let $\mathbf a$ be a cardinal.


Then $\mathbf a$ is described as infinite if and only if:

$\mathbf a = \mathbf a + \mathbf 1$

where $\mathbf 1$ is (cardinal) one.


Also see


Historical Note

The formulation of the concept of an infinite cardinal was evolved as a generalisation of the notion of a natural numbers as a result of the work on infinite sets by Georg Cantor.


Sources