We compare the approaches to natural numbers and the induction principles in Frege’s Grundgesetze and in systems thereafter. We start with an illustration of Frege’s approach and then explain the use of induction principles in Zermelo-Fraenkel set...
We compare the approaches to natural numbers and the induction principles in Frege’s Grundgesetze and in systems thereafter. We start with an illustration of Frege’s approach and then explain the use of induction principles in Zermelo-Fraenkel set theory and in modern type theories such as Calculus of Inductive Constructions. A comparison among the different approaches to induction principles is also given by analyzing them in respect of predicativity and impredicativity.