2008/08/31 by Chris Preston, Preston, Chris
Computer Science · #Advanced Database Systems and Queries #FOS: Mathematics #History and Overview (math.HO)
paper · pdf · doi:10.48550/arxiv.0809.0105
openalex publication_date 2008/08/31 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We start by presenting a theory of finite sets using the approach which is essentially that taken by Whitehead and Russell in Principia Mathematica, and which does not involve the natural numbers (or any other infinite set). This theory is then applied to prove results about structures which, like the natural numbers, satisfy the principle of mathematical induction, but do not necessarily satisfy the remaining Peano axioms.