Combining Texts
Ideas for
'Essays on Intellectual Powers: Conception', 'The Philosophy of Mathematics' and 'Which Logic is the Right Logic?'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
3 ideas
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
9193
|
ZF set theory has variables which range over sets, 'equals' and 'member', and extensionality [Dummett]
|
9194
|
The main alternative to ZF is one which includes looser classes as well as sets [Dummett]
|
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / j. Axiom of Choice IX
10775
|
The axiom of choice now seems acceptable and obvious (if it is meaningful) [Tharp]
|