Kleene-Rosserパラドックス
https://en.wikipedia.org/wiki/Kleene–Rosser_paradox