>>477
お前は { x | 0 = 1 }なんて集合の存在が矛盾してるとか思ってるのかよ