¬∃A:A∈A