Combining Texts

Ideas for 'The Discourses', 'The Philosophy of Mathematics' and 'works'

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

display all the ideas for this combination of texts

---

1 idea

2. Reason / D. Definition / 1. Definitions

15927

Definition just needs negation, known variables, conjunction, disjunction, substitution and quantification [Weyl, by Lavine]