これは証明不可能な問題か、可能な問題か教えてください