Article View: sci.logic
Article #147Re: Set of all sets
From: G.J. McCaughan
Date: Mon, 07 Sep 1992 22:59
Date: Mon, 07 Sep 1992 22:59
13 lines
1265 bytes
1265 bytes
In article <1992Sep7.062552.21596@guinness.idbsu.edu> holmes@opal.idbsu.edu (Randall Holmes) writes: > A brief remark: I do know that the consistency of ZFC is itself open > to doubt. I agree that one can equally well start working in NF with > faith in one's heart as we already can in ZFC. But to start working > in NF, we must give up the Axiom of Choice; this is the real problem > from my standpoint. I have other reasons for doubting the naturalness > of NF (but not of NFU) which are not ready for publication. Hmm. I don't know much about what is and isn't consistent with NF. Is Dependent Choice consistent with NF? That would satisfy many of us, perhaps including some who don't like the Axiom of Choice in all its --
Technical Details
Message-ID:
<1992Sep7.225943.23043@infodev.cam.ac.uk>Path:
arc1-ca.pugleaf.net!sparky!uunet!pipex!warwick!pavo.csi.cam.ac.uk!gjm11References:
<1992Sep4.233526.24088@infodev.cam.ac.uk> <1992Sep5.022356.18971@cs.sfu.ca> <1992Sep7.062552.21596@guinness.idbsu.edu>Show Full Headers
Complete Article Headers
Newsgroups: sci.logic Path: arc1-ca.pugleaf.net!sparky!uunet!pipex!warwick!pavo.csi.cam.ac.uk!gjm11 From: gjm11@cus.cam.ac.uk (G.J. McCaughan) Subject: Re: Set of all sets Message-ID: <1992Sep7.225943.23043@infodev.cam.ac.uk> Sender: news@infodev.cam.ac.uk (USENET news) Nntp-Posting-Host: apus.cus.cam.ac.uk Organization: U of Cambridge, England References: <1992Sep4.233526.24088@infodev.cam.ac.uk> <1992Sep5.022356.18971@cs.sfu.ca> <1992Sep7.062552.21596@guinness.idbsu.edu> Date: Mon, 7 Sep 1992 22:59:43 GMT Lines: 13