display all the ideas for this combination of texts
3 ideas
15657 | To prove the consistency of set theory, we must go beyond set theory [Halbach] |
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] |