number as a progression for counting and 1-1 relations
"Letter to Keferstein", February 27, 1890.
p. 98-103 in J. van Heijenoort, From Frege to Godel, Cambridge Massachusetts: Harvard University Press, 1967, translated from the original by Hao Wang, [1957 ?]
|99 ;;Quote: a number sequence is a sequence of elements, each with a unique successor and reachable from '1'|
|99+;;Quote: proof by induction rests upon the notion of a chain, i.e., a sequence of numbers
ThesaHelp: references c-d (337 items)
Topic: number as a progression for counting and 1-1 relations (22 items)
Topic: mathematical proof (23 items)