home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / sci / logic / 1358 < prev    next >
Encoding:
Text File  |  1992-09-08  |  1.2 KB  |  26 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!pipex!warwick!pavo.csi.cam.ac.uk!gjm11
  3. From: gjm11@cus.cam.ac.uk (G.J. McCaughan)
  4. Subject: Re: Set of all sets
  5. Message-ID: <1992Sep7.225943.23043@infodev.cam.ac.uk>
  6. Sender: news@infodev.cam.ac.uk (USENET news)
  7. Nntp-Posting-Host: apus.cus.cam.ac.uk
  8. Organization: U of Cambridge, England
  9. References: <1992Sep4.233526.24088@infodev.cam.ac.uk> <1992Sep5.022356.18971@cs.sfu.ca> <1992Sep7.062552.21596@guinness.idbsu.edu>
  10. Date: Mon, 7 Sep 1992 22:59:43 GMT
  11. Lines: 13
  12.  
  13. In article <1992Sep7.062552.21596@guinness.idbsu.edu> holmes@opal.idbsu.edu (Randall Holmes) writes:
  14.  
  15. > A brief remark:  I do know that the consistency of ZFC is itself open
  16. > to doubt.  I agree that one can equally well start working in NF with
  17. > faith in one's heart as we already can in ZFC.  But to start working 
  18. > in NF, we must give up the Axiom of Choice; this is the real problem
  19. > from my standpoint.  I have other reasons for doubting the naturalness
  20. > of NF (but not of NFU) which are not ready for publication.
  21.  
  22. Hmm. I don't know much about what is and isn't consistent with NF.
  23. Is Dependent Choice consistent with NF? That would satisfy many of us,
  24. perhaps including some who don't like the Axiom of Choice in all its
  25. -- 
  26.