Combining Texts

Ideas for 'fragments/reports', 'Introduction to Mathematical Logic' and 'Continuity and Irrational Numbers'

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

display all the ideas for this combination of texts

11 ideas

6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / e. Ordinal numbers
17758 Ordinals are transitive sets of transitive sets; or transitive sets totally ordered by inclusion [Walicki]
17755 Ordinals are the empty set, union with the singleton, and any arbitrary union of ordinals [Walicki]
17756 The union of finite ordinals is the first 'limit ordinal'; 2ω is the second... [Walicki]
17760 Two infinite ordinals can represent a single infinite cardinal [Walicki]
17757 Members of ordinals are ordinals, and also subsets of ordinals [Walicki]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / g. Real numbers
17611 We want the essence of continuity, by showing its origin in arithmetic [Dedekind]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / i. Reals from cuts
10572 A cut between rational numbers creates and defines an irrational number [Dedekind]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / f. Arithmetic
17612 Arithmetic is just the consequence of counting, which is the successor operation [Dedekind]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / l. Limits
18087 If x changes by less and less, it must approach a limit [Dedekind]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
17762 In non-Euclidean geometry, all Euclidean theorems are valid that avoid the fifth postulate [Walicki]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / f. Mathematical induction
17754 Inductive proof depends on the choice of the ordering [Walicki]