home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 1912 < prev    next >
Encoding:
Text File  |  1992-11-04  |  1.4 KB  |  28 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!spool.mu.edu!yale.edu!ira.uka.de!math.fu-berlin.de!mailgzrz.TU-Berlin.DE!news.netmbx.de!Germany.EU.net!mcsun!sunic!sics.se!torkel
  3. From: torkel@sics.se (Torkel Franzen)
  4. Subject: Re: Russell's Paradox
  5. In-Reply-To: frank@Cookie.secapl.com's message of Wed, 04 Nov 1992 23:32:28 GMT
  6. Message-ID: <TORKEL.92Nov5104554@isis.sics.se>
  7. Sender: news@sics.se
  8. Organization: Swedish Institute of Computer Science, Kista
  9. References: <24780@optima.cs.arizona.edu> <1992Nov04.233228.16942@Cookie.secapl.com>
  10. Date: Thu, 5 Nov 1992 09:45:54 GMT
  11. Lines: 15
  12.  
  13. In article <1992Nov04.233228.16942@Cookie.secapl.com> frank@Cookie.secapl.com
  14.  (Frank Adams) writes:
  15.  
  16.    >Proper classes arose because it is hard to talk about sets in general
  17.    >without them.  I think it is safe to say that most mathematicians are a bit
  18.    >uncomfortable dealing with proper classes, but their use is at least
  19.    >demonstrably consistent (at least if the underlying set theory is
  20.    >consistent).
  21.  
  22.   Adding to a set theory T predicative class existence axioms (i.e. axioms
  23. asserting the existence of classes definable by a formula containing
  24. no quantifiers over classes) yields a conservative extension of T, and
  25. the classes in such a case can be regarded as just a convenient way of
  26. referring to formulas. Adding impredicative class existence axioms
  27. yields an essentially stronger theory.
  28.