Combining Texts

Ideas for 'On the Question of Absolute Undecidability', 'Mathematical logic and theory of types' and 'Philosophy of Mathematics'

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

18137

Impredicative definitions are wrong, because they change the set that is being defined? [Bostock]