MoeBlee
Posts:
1,277
Registered:
5/9/11
|
|
Re: IMPROVED AXIOM OF REGULARITY... <X1 e X2 e X3 .. e Xn e X1>
Posted:
May 10, 2012 10:54 AM
|
|
On May 9, 5:56 pm, Graham Cooper <grahamcoop...@gmail.com> wrote:
> On May 10, 2:07 am, MoeBlee <modem...@gmail.com> wrote:
>
> Binary Intersection
Binary intersection is just the intersection of two sets. The binary
intersection of x and y is the set of all z such that z is in both x
and in y:
x/\y = {z | zex & zey}
> Is x = {f1 e f2 e f3 e f1} a set?
I didn't use the notation {f1 e f2 e f3 e f1}.
Perhaps you're wondering about this notation I used:
{f1 f2 ... fn}
That is just {f1, f2, ..., fn}. I dropped the commas, since it is just
as clear without commas.
Now that your notation questions have been answered, you should be
able to recognize that I have proved in Z set theory that there is no
f such that f1 e f2 .. e fn e f1.
MoeBlee
|
|
