home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 1932 < prev    next >
Encoding:
Internet Message Format  |  1992-11-06  |  1.1 KB
  1. Path: sparky!uunet!sun-barr!news2me.EBay.Sun.COM!cronkite.Central.Sun.COM!texsun!exucom.exu.ericsson.se!ericom!sunic!sics.se!torkel
  2. From: torkel@sics.se (Torkel Franzen)
  3. Newsgroups: sci.logic
  4. Subject: Re: Impredicativity - was: Russell's Paradox
  5. Message-ID: <TORKEL.92Nov5210509@lludd.sics.se>
  6. Date: 5 Nov 92 20:05:09 GMT
  7. References: <Bx81Ho.9HL@cantua.canterbury.ac.nz> <TORKEL.92Nov5103134@isis.sics.se>
  8.     <1992Nov5.170354.29866@guinness.idbsu.edu>
  9. Sender: news@sics.se
  10. Organization: Swedish Institute of Computer Science, Kista
  11. Lines: 10
  12. In-Reply-To: holmes@garnet.idbsu.edu's message of 5 Nov 92 17:03:54 GMT
  13.  
  14. In article <1992Nov5.170354.29866@guinness.idbsu.edu> holmes@garnet.idbsu.edu
  15.  (Randall Holmes) writes:
  16.  
  17.    >Neither A nor B can be shown to represent a unique object in ZFC-.
  18.  
  19.   Of course not! The question I was commenting on was whether it
  20. is provable in ZF without foundation that if there is a function f
  21. defined on the natural numbers satisfying f(n)={n,f(n+1)}, then there
  22. is a set x such that x={1,x}, and my answer was that in all likelihood
  23. this is not so.
  24.