>>408
 R≡{X|¬(X∈X)} 
 これをプログラミングしてくれ。