>>4
「〜であるものが無限にある」とかいう命題なら
肯定的にも否定的にも証明できない可能性はあるよね。
たとえば「双子素数は無限にある」とかいうようなやつ