Foundations of Mathematics in the Theory of Sets

This 2001 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''. This leads to an investigation of the logic of quantification over the universe of sets and...