Combining Texts

Ideas for 'Ethical Studies', 'Intermediate Logic' and 'A Tour through Mathematical Logic'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

4 ideas

6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
13530 An ordinal is an equivalence class of well-orderings, or a transitive set whose members are transitive [Wolf,RS]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / f. Mathematical induction
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]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
13518 Modern mathematics has unified all of its objects within set theory [Wolf,RS]