3 ms·
True, I was mostly referring to ZF-style set theories (which is what the thread is mainly about). Your point could even be extended by saying that there are pro
by dvt 11y ago
True, I was mostly referring to ZF-style set theories (which is what the thread is mainly about). Your point could even be extended by saying that there are proofs for a paraconsistent ZF with a universal set.
Your [3] link doesn't work by the way, I'm interested in reading Forster!
- mafribe 11y ago[3] works on my browser. Anyway, the link was to the publisher's page for the book. Here is another one: http://www.amazon.co.uk/Set-Theory-Universal-Exploring-Universe/dp/0198514778 http://www.amazon.co.uk/Set-Theory-Universal-Exploring-Unive... .