| 
|
QuoteRef: dedeR2_1890
topics >
all references >
ThesaHelp:
references c-d
Topic:
number as a progression for counting and 1-1 relations
Topic:
mathematical proof
Reference
Dedekind, R., "Letter to Keferstein", February 27, 1890. Google
Other Reference
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)