単に無いことが証明できないなら存在するでは悪魔の証明
数学的に存在を予想できないのか