This 2001 book presents a unified approach to the foundations of mathematics in the theory of sets, covering conventional and finitary mathematics. It analyses the relation between the concepts of 'natural number' and 'set', and investigates the logic of quantification over the universe of sets. Suitable for both philosophers and mathematicians.