Article View: sci.logic
Article #1081Re: "Elementary" elements in ZFC.
From: John
Date: Tue, 20 Nov 2001 03:30
Date: Tue, 20 Nov 2001 03:30
21 lines
2223 bytes
2223 bytes
Mike Oliver <oliver@math.ucla.edu> wrote in message news:<3BF949CB.340F494@math.ucla.edu>... > John wrote: > > > Likewise, if the axiom of extensionality is restricted to > > sets, only sets are subject to the axiom of extensionality. > > Well, exactly. > > > Have you some reason why "extensionality is restricted to sets" should > > not be understood in the usual way? > > This *is* the usual way. > > I can't figure out what you're worried about. Suppose you give > us an example of two essentially different "axioms of extensionality > restricted to sets". I don't think you can; there's no remotely > plausible way of doing so. Therefore the phrase is not ambiguous. You're right. Thanks for the light. Sorry for the heat. John
Technical Details
Message-ID:
<70f94e16.0111191930.23ab437c@posting.google.com>Path:
arc1-ca.pugleaf.net!archiver1.google.com!postnews1.google.com!not-for-mailReferences:
<3BE72A00.D558A510@bea.com> <ul03d3iq624.fsf@scheutz.sics.se> <70f94e16.0111141319.1a5eb8a7@posting.google.com> <ul08zd8egzc.fsf@scheutz.sics.se> <70f94e16.0111150349.3c397b10@posting.google.com> <ul0lmh8ckve.fsf@scheutz.sics.se> <70f94e16.0111151451.4b7bdf4c@posting.google.com> <ul0bsi3cmx9.fsf@scheutz.sics.se> <70f94e16.0111181735.5f065ffc@posting.google.com> <3BF86980.CC10AFAF@math.ucla.edu> <70f94e16.0111190836.26e88b5a@posting.google.com> <3BF949CB.340F494@math.ucla.edu>Show Full Headers
Complete Article Headers
X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 10ecd1,5d6d44eb5c8aa3ad X-Google-Attributes: gid10ecd1,public X-Google-Thread: 109d8a,5d6d44eb5c8aa3ad X-Google-Attributes: gid109d8a,public X-Google-Thread: 10cc56,7bfaee8e6f0e3bd3 X-Google-Attributes: gid10cc56,public X-Google-ArrivalTime: 2001-11-19 19:30:36 PST Path: arc1-ca.pugleaf.net!archiver1.google.com!postnews1.google.com!not-for-mail From: john_correy@excite.ca (John) Newsgroups: sci.logic,sci.math,fa.analytic-philosophy Subject: Re: "Elementary" elements in ZFC. Date: 19 Nov 2001 19:30:36 -0800 Organization: http://groups.google.com/ Lines: 21 Message-ID: <70f94e16.0111191930.23ab437c@posting.google.com> References: <3BE72A00.D558A510@bea.com> <ul03d3iq624.fsf@scheutz.sics.se> <70f94e16.0111141319.1a5eb8a7@posting.google.com> <ul08zd8egzc.fsf@scheutz.sics.se> <70f94e16.0111150349.3c397b10@posting.google.com> <ul0lmh8ckve.fsf@scheutz.sics.se> <70f94e16.0111151451.4b7bdf4c@posting.google.com> <ul0bsi3cmx9.fsf@scheutz.sics.se> <70f94e16.0111181735.5f065ffc@posting.google.com> <3BF86980.CC10AFAF@math.ucla.edu> <70f94e16.0111190836.26e88b5a@posting.google.com> <3BF949CB.340F494@math.ucla.edu> NNTP-Posting-Host: 136.145.190.174 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1006227036 1582 127.0.0.1 (20 Nov 2001 03:30:36 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 20 Nov 2001 03:30:36 GMT