Finite Sets and Counting


These notes present an approach to obtaining the basic properties of the natural numbers in terms of the properties of finite sets (which are introduced independently of the natural numbers). The role played by the usual recursion theorem is taken over by a construction which can be regarded as a recursion theorem for finite sets.

Cite this paper

@inproceedings{Preston2008FiniteSA, title={Finite Sets and Counting}, author={Chris Preston}, year={2008} }