Re: "Elementary" elements in ZFC.

Article View: sci.logic

Article #1085

#1085

From: Torkel Franz�n
Date: Fri, 16 Nov 2001 05:19

11 lines
1871 bytes

john_correy@excite.ca (John) writes:

> 1. UNRESTRICTED AXIOM OF EXTENSIONALITY OF Z SET THEORY
> 
>    AxAy[Az(z in x <-> z in y) ->  x = y]
> 
>    (Two sets are equal if, and only if, they have the same members.)

  Right, and if you add a predicate "x is a set" to the language of
set theory, you can make "if x and y are sets" explicit.

Technical Details

Message-ID: <ul0bsi3cmx9.fsf@scheutz.sics.se>

Path:

arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeed1.bredband.com!bredband!newsfeed1.telenordia.se!algonet!uab.ericsson.se!news.sics.se!not-for-mail

References:

<3BE72A00.D558A510@bea.com> <3BE74700.6DE87E9E@math.ucla.edu> <ul0vggoh3jv.fsf@scheutz.sics.se> <3BE792C1.266F379A@math.ucla.edu> <ul0n120jq03.fsf@scheutz.sics.se> <70f94e16.0111131801.5d45bf6@posting.google.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>

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-15 21:23:05 PST
Path: arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!newsfeed1.bredband.com!bredband!newsfeed1.telenordia.se!algonet!uab.ericsson.se!news.sics.se!not-for-mail
From: torkel@scheutz.sics.se (Torkel Franz�n)
Newsgroups: sci.logic,sci.math,fa.analytic-philosophy
Subject: Re: "Elementary" elements in ZFC.
Date: 16 Nov 2001 06:19:46 +0100
Organization: Swedish Institute of Computer Science, Kista
Lines: 11
Message-ID: <ul0bsi3cmx9.fsf@scheutz.sics.se>
References: <3BE72A00.D558A510@bea.com> <3BE74700.6DE87E9E@math.ucla.edu> <ul0vggoh3jv.fsf@scheutz.sics.se> <3BE792C1.266F379A@math.ucla.edu> <ul0n120jq03.fsf@scheutz.sics.se> <70f94e16.0111131801.5d45bf6@posting.google.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>
NNTP-Posting-Host: scheutz.sics.se
X-Trace: not.sics.se 1005887987 46110 193.10.66.136 (16 Nov 2001 05:19:47 GMT)
X-Complaints-To: usenet@not.sics.se
NNTP-Posting-Date: 16 Nov 2001 05:19:47 GMT
X-Newsreader: Gnus v5.7/Emacs 20.4

Reply to Parent Message