MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

Return to Question

2 deleted 24 characters in body

Given the definition of subsets and equality of sets:

• A is a subset of $\subset$ B, if x is an element of $\epsilon$ A implies that $\rightarrow$ x is an element of $\epsilon$ B for every set x.
• A = B, if A is a subset of $\subset$ B and B is a subset of $\subset$ A

Why is it impossible to decide whether two circular sets I = {I} and J = {J} are equal.

I mean, the way is see it is that I is not an element of J, since only J is an element of J, so the two circular sets are not equal.

What's wrong in my reasoning?

1

Equality of two circular sets

Given the definition of subsets and equality of sets:

• A is a subset of B if x is an element of A implies that x is an element of B for every set x.
• A = B if A is a subset of B and B is a subset of A

Why is it impossible to decide whether two circular sets I = {I} and J = {J} are equal.

I mean, the way is see it is that I is not an element of J, since only J is an element of J, so the two circular sets are not equal.

What's wrong in my reasoning?