Combining Texts
Ideas for
'Mahaprajnaparamitashastra', 'The Philosophy of Mathematics' and 'Real Natures and Familiar Objects'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
2 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]
|