# Why was my answer deleted? Cause?

The axiom of choice as a consequence of a stronger semantics?

First we show that $\in$ is not a semantic symbol. Suppose that $\in$ is a semantic symbol.

Contradiction: We know that $x\in \left \{ y \right \}$ iff $x=y$ (syntactic definition) is true and $x\in \left \{ y \right \}$ iff $x\Leftrightarrow y$ (semantic definition) is not true, for example: $\emptyset\in \left \{ 0 \right \}$ iff $\emptyset \Leftrightarrow 0$ is not true.

Note: $x=y$ implies $x\Leftrightarrow y$, but not always vice versa.

Until we select $x$ (syntactically) in the expression $\forall y\exists x(x\in y)$, it can be semantically true and $\in$ will be a semantic symbol, but as we showed above this is not true, so we can't do not choose $x$. If we choose $x$, then we can take two different singletons of $y$ and both of them can not simultaneously be contain $x$ without semantics.

I want to notice remove and close questions the same people: Andrés E. Caicedo, Todd Trimble.

Is there an administrator on this site?

• Because (contrary to your proof attempt) $\in$ is a semantic symbol. Also, your post does not address the issue raised in the question. It attempts to circumvent the question by considering a related issue, but this related issue has insufficient ties to the question. Gerhard "In Other Words, Rather Irrelevant" Paseman, 2017.10.24. – Gerhard Paseman Oct 25 '17 at 6:50
• @GerhardPaseman Can you write that question about which you speak? And how can it be semantic? – user111966 Oct 25 '17 at 6:53
• The question is written in the post, and is given an interesting and relevant answer by Prof. Hamkins. I suggest you work on understanding that answer to determine on what may be semantic. Gerhard "In Has Meaning To Me" Paseman, 2017.10.25. – Gerhard Paseman Oct 25 '17 at 7:20
• The answer is total gibberish. – Emil Jeřábek Oct 25 '17 at 7:26
• @EmilJeřábek Do you see this partially or in general? Just trying to understand the course of your thoughts. – user111966 Oct 25 '17 at 7:31
• To the extent of "administrators" are on the site, yes there are a few, and Todd Trimble is indeed one of them. – Asaf Karagila Oct 25 '17 at 9:39
• (Also, to the less-engaged, this is not the first time that this exact topic comes up. The OP has posted an answer a few months ago, which was deleted by a moderator, and the OP kept editing it until it ended up being locked to prevent further bumping of that question.) – Asaf Karagila Oct 25 '17 at 9:39
• @AsafKaragila Do you want to convince everyone in advance that I'm wrong? For two of your identical comments, I can assume that it is, do not overdo it. – user111966 Oct 25 '17 at 10:13
• Where did I say that your answer is wrong or not? I am just pointing out that this is not the first time you've posted an answer on that thread, and it is not the first time it was deleted by a moderator, and that it is not the first time that you have complained about this on meta. It's called transparency. – Asaf Karagila Oct 25 '17 at 10:28
• Possible duplicate of Why was my answer deleted? – jeq Oct 26 '17 at 14:36

I cannot speak for the people who voted to delete, but from my point of view, your answer had two problems. First, the English is written in a way that is quite difficult to parse. Phrases like "we can't do not choose $x$" do not occur naturally in the English-speaking part of the world. Second, it seems that the mathematical content in your answer (as far as anyone can understand it) does not seem to be relevant to the question. While I am not an expert in this field, it seems that several people with expertise in logic strongly agree. People usually vote to delete an answer when it is clear that the answer does not contribute substantially to understanding or resolving the question.
• English is not my native language as you can see. "we can't do not choose $x$". The phrase means: We should always choose $x$. Because if we do not choose $x$ there is semantics inside the expression, then the symbol $\in$ will be semantic, but this is not true. – user111966 Oct 25 '17 at 8:47