display all the ideas for this combination of texts
1 idea
17855 | It may be possible to define induction in terms of the ancestral relation [Frege, by Wright,C] |
Full Idea: Frege's account of the ancestral has made it possible, in effect, to define the natural numbers as entities for which induction holds. | |
From: report of Gottlob Frege (Begriffsschrift [1879]) by Crispin Wright - Frege's Concept of Numbers as Objects 4.xix | |
A reaction: This is the opposite of the approach in the Peano Axioms, where induction is used to define the natural numbers. |