¬A∈A のような表現を平気で使うのが哲厨だ。これは発見だ。