The Foundations of Mathematics in the Theory of Sets

Download or read book The Foundations of Mathematics in the Theory of Sets written by John P. Mayberry and published by Cambridge University Press. This book was released on 2000 with total page 454 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents a unified approach to the foundations of mathematics in the theory of sets, covering both conventional and finitary (constructive) mathematics. It is based on a philosophical, historical and mathematical analysis of the relation between the concepts of 'natural number' and 'set'. The author investigates the logic of quantification over the universe of sets and discusses its role in second order logic, as well as in the analysis of proof by induction and definition by recursion. Suitable for graduate students and researchers in both philosophy and mathematics.