Do informatics people use a different quantor syntax?
¬∃x(∀y(y∈x↔y∉y))
Doesn’t make any statement.
The not shouldn’t be in the front. That doesn’t parse.
You say: “not exists x[from undefined] such that for all y[from undefined][lack of |]y element from x exactly when y is not element in y”
Round braces don’t belong.
I changed it to a well-formed formula just for you.
Do informatics people use a different quantor syntax? ¬∃x(∀y(y∈x↔y∉y)) Doesn’t make any statement. The not shouldn’t be in the front. That doesn’t parse. You say: “not exists x[from undefined] such that for all y[from undefined][lack of |]y element from x exactly when y is not element in y” Round braces don’t belong.