Combining Texts

Ideas for 'Through the Looking Glass', 'Letters to Fardella' and 'Introduction to Mathematical Logic'

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

display all the ideas for this combination of texts

---

2 ideas

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]