Combining Texts

Ideas for 'fragments/reports', 'fragments/reports' and 'Investigations in the Foundations of Set Theory I'

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 / 8. Impredicative Definition

15924

Predicative definitions are acceptable in mathematics if they distinguish objects, rather than creating them? [Zermelo, by Lavine]