Some Notes on Finite Sets
History and Overview
2018-04-09 v6
Abstract
These notes aim to give a gentle account to one approach to the theory of finite sets without making use of the natural numbers. They were written to be used as the basis for a student seminar. There are no real prerequisites except for a certain familiarity with the kind of mathematics seen in the first couple of years of a university mathematics course. The definition of being finite employed in these notes is usually called Kuratowski-finiteness and it is essentially that employed by Whitehead and Russell in Principia Mathematica. This is a revised and extended version of a paper with the same title from November 2015
Cite
@article{arxiv.1509.02747,
title = {Some Notes on Finite Sets},
author = {Chris Preston},
journal= {arXiv preprint arXiv:1509.02747},
year = {2018}
}
Comments
arXiv admin note: text overlap with arXiv:0809.0105