>>316
だから>仮に形式的に証明ができないものだった
そんなものがあるかもしれないと信じてる数学者は殆どいねえっていうのに
>>306-307を見てレスする気力がなくなったけどね