home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / sci / logic / 1357 < prev    next >
Encoding:
Text File  |  1992-09-08  |  1.1 KB  |  25 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!gatech!news.byu.edu!ux1!mica.inel.gov!guinness!opal.idbsu.edu!holmes
  3. From: holmes@opal.idbsu.edu (Randall Holmes)
  4. Subject: Re: Set of all sets
  5. Message-ID: <1992Sep7.062552.21596@guinness.idbsu.edu>
  6. Sender: usenet@guinness.idbsu.edu (Usenet News mail)
  7. Nntp-Posting-Host: opal
  8. Organization: Boise State University Math Dept.
  9. References: <1992Sep4.172833.20527@guinness.idbsu.edu> <1992Sep4.233526.24088@infodev.cam.ac.uk> <1992Sep5.022356.18971@cs.sfu.ca>
  10. Date: Mon, 7 Sep 1992 06:25:52 GMT
  11. Lines: 12
  12.  
  13. A brief remark:  I do know that the consistency of ZFC is itself open
  14. to doubt.  I agree that one can equally well start working in NF with
  15. faith in one's heart as we already can in ZFC.  But to start working 
  16. in NF, we must give up the Axiom of Choice; this is the real problem
  17. from my standpoint.  I have other reasons for doubting the naturalness
  18. of NF (but not of NFU) which are not ready for publication.
  19.  
  20. -- 
  21. The opinions expressed        |     --Sincerely,
  22. above are not the "official"    |     M. Randall Holmes
  23. opinions of any person        |     Math. Dept., Boise State Univ.
  24. or institution.            |     holmes@opal.idbsu.edu
  25.