>>673
{x : f(x) が存在する}
が集合であることを否定するには、
集合のこういった内包的定義のしかたを否定するか、
「f(x) が存在する」、っていう概念が成立することを否定するか、
どっちかだと思うのだが。
後者なのかな？