display all the ideas for this combination of texts
4 ideas
562 | Axioms are the underlying principles of everything, and who but the philosopher can assess their truth? [Aristotle] |
573 | The axioms of mathematics are part of philosophy [Aristotle] |
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] |