display all the ideas for this combination of texts
3 ideas
13358 | Ordinary or mathematical induction assumes for the first, then always for the next, and hence for all [Bostock] |
13359 | Complete induction assumes for all numbers less than n, then also for n, and hence for all numbers [Bostock] |
9192 | The number 4 has different positions in the naturals and the wholes, with the same structure [Dummett] |