This is a fairly soft, general question, but whilst attending a lecture on basic set theory, inevitably Russell's Paradox was brought up. The speaker used the analogy of two books, one which contains all books which contain themselves, and one which contains all the books which do not, the secondly obviously acting as the analogy for the paradox.
In hindsight I began to think about the other book talked about, which in formal set theory (I believe) would be defined:
$$A=\{B \ | \ B \in B\}$$
The statement: $A \in A$ clearly also has no solution, since there is no contradiction either way (if $A \in A$ then it is true because it should be; if $A \notin A$ then clearly it is also ok because it shouldn't be).
Obviously no huge mathematical issues are raised here (hence why the other example has much more press), however I was wondering if there is any significance to the fact that this statement has two (tautological) solutions, either of which can be taken as valid (however not both).
Apologies if this question is too broad, vague, or simply meaningless, and all input is much appreciated!
[NB: I'm not sure if I'm quite using non-decidable in its correct formal usage; in this question what I mean by it is a statement for which the truth value can't be ascertained.]
It is easy to confuse oneself into thinking this is deeper than it really is.
Let's start by briefly recalling Russell's paradox: $$ R = \{ B \mid B \notin B \} $$ The particularly striking thing about this is that it can be identified as nonsense knowing nothing else than that $\in$ is some relation that can either hold between two "things" or not, and that the set builder notation means $$ \forall B(\; B\in R \iff \neg(B\in B) \;)$$ This is all -- in particular we don't need to know anything about what sets are, how they behave, or how the $\in$ relation behaves in order to see that there cannot be any $R$ with this property. It would be the same with any other symbol instead of $\in$: $$ \forall B(\; B\succeq R \iff \neg(B\succeq B) \;)$$ is also a contradiction, as a matter of pure logic.
However, unfolding the set builder in your definition gives $$ \forall B(\; B\in A \iff B\in B \;) $$ Here we are not in the Russell-like situation that pure logic alone tells us whether there is an $A$ that satisfies the condition -- and if so, which properties it has. This is a much more common situation. In order to investigate that, we need to use some actual knowledge (or assumptions, according to your temperament) about how sets behave: the axioms of set theory.
The axioms of set theory that are most often used are known as ZFC, but unfortunately doesn't quite settle our question, because there are a few slightly different systems that all may be described as ZFC. But the most common variant includes an axiom called the Axiom of Regularity, which implies that (1) your $A$ exists, and (2) it is in fact the empty set (and therefore $A\notin A$).
(Variants of ZFC without the Axiom of Regularity can't even tell you whether your $A$ exists, nor whether it will contain itself if it does).
There are other set theories with different axioms and different consequences. Some of them (e.g. NF or AFA) prove that there cannot be an $A$ that satisfies your condition.
I'm not immediately aware of any natural proposed axioms that prove that $A$ exists and must necessarily contain itself, but there might well be.