774のバケツの例では
「国内のどのバケツにも水が入ってない」は証明不可能