Article View: sci.logic
Article #146Re: Set of all sets
From: Randall Holmes
Date: Mon, 07 Sep 1992 06:25
Date: Mon, 07 Sep 1992 06:25
12 lines
1183 bytes
1183 bytes
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. -- The opinions expressed | --Sincerely, above are not the "official" | M. Randall Holmes opinions of any person | Math. Dept., Boise State Univ. or institution. | holmes@opal.idbsu.edu
Technical Details
Message-ID:
<1992Sep7.062552.21596@guinness.idbsu.edu>Path:
arc1-ca.pugleaf.net!sparky!uunet!gatech!news.byu.edu!ux1!mica.inel.gov!guinness!opal.idbsu.edu!holmesReferences:
<1992Sep4.172833.20527@guinness.idbsu.edu> <1992Sep4.233526.24088@infodev.cam.ac.uk> <1992Sep5.022356.18971@cs.sfu.ca>Show Full Headers
Complete Article Headers
Newsgroups: sci.logic Path: arc1-ca.pugleaf.net!sparky!uunet!gatech!news.byu.edu!ux1!mica.inel.gov!guinness!opal.idbsu.edu!holmes From: holmes@opal.idbsu.edu (Randall Holmes) Subject: Re: Set of all sets Message-ID: <1992Sep7.062552.21596@guinness.idbsu.edu> Sender: usenet@guinness.idbsu.edu (Usenet News mail) Nntp-Posting-Host: opal Organization: Boise State University Math Dept. References: <1992Sep4.172833.20527@guinness.idbsu.edu> <1992Sep4.233526.24088@infodev.cam.ac.uk> <1992Sep5.022356.18971@cs.sfu.ca> Date: Mon, 7 Sep 1992 06:25:52 GMT Lines: 12