Combining Texts

Ideas for 'A Problem about Substitutional Quantification?st1=Saul A. Kripke', 'Reflections on my Critics' and 'Set Theory and the Continuum Hypothesis'

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

display all the ideas for this combination of texts


1 idea

6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
We could accept the integers as primitive, then use sets to construct the rest [Cohen]