なら公理的集合論をやれば？¬Ａ∈Ａは公理から定理として導かれるものだよ。
（哲学的にはどうか知らないけど、少なくとも数学的には。）