News for hackers. Stuff that matters.

A comment on Set Theory and Foundations of Mathematics. Parent comment

Re:Set Theory and Foundations of Mathematics by dvt on Friday July 31, 2015 @02:34PM (#9983459)
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!

[ Parent | on HN ]
Re:Set Theory and Foundations of Mathematics by mafribe on Saturday August 01, 2015 @03:32AM (#9986271)
[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-Unive... .
[ Parent | on HN ]