自分の視野が狭い（数理論理学どころか集合論においても）ことは認識しているので、その問いには答えないことにします。