論理空間での実現可能性をどこまでいっても考える