>>94
「証明できないこと」も証明できない問題の場合は?