基本的に「経験的にはこうなんだけどちゃんとした証明ができない」ってのを証明するのが未解決問題の主流で 「真か偽かわからない」ようなものはそもそも法則立ってないということ...