Natural Number Arithmetic in the Theory of Finite Sets

J. P. Mayberry, Richard Pettigrew

We describe a theory of finite sets, and investigate the analogue of Dedekind's theory of natural number systems (simply infinite systems) in this theory. Unlike the infinitary cas…