河東泰之「セミナーの準備のしかたについて」は本当に正しいのか？

>>486　
>{ x | 0 = 1 }
　空集合ですね

　ところで、
　ラッセル集合{x | x∉x}　の上位版で、
　カリー集合　{x | x∈x⇒P}　ってのもありますね

　これ使うと、どんなPも証明できるスグレモノです
　https://ja.wikipedia.org/wiki/%E3%82%AB%E3%83%AA%E3%83%BC%E3%81%AE%E3%83%91%E3%83%A9%E3%83%89%E3%83%83%E3%82%AF%E3%82%B9