>>30
アレフの定義からそれはなさそうな気が……