Re: Set theory and identity theory
- From: MoeBlee <jazzmobe@xxxxxxxxxxx>
- Date: Thu, 13 Mar 2008 16:10:16 -0700 (PDT)
On Mar 13, 4:04 pm, MoeBlee <jazzm...@xxxxxxxxxxx> wrote:
Def: x=y <-> Az(zex <-> yex)
Correction:
x=y <-> Az(zex <-> zey)
MoeBlee
.
- References:
- Set theory and identity theory
- From: MoeBlee
- Set theory and identity theory
- Prev by Date: Set theory and identity theory
- Next by Date: Re: Request for Review/Tutorage of Amateur Proofs
- Previous by thread: Set theory and identity theory
- Next by thread: Re: Set theory and identity theory
- Index(es):
Loading
