>>200
それは精度の問題だし、∃と∀を区別すべきだと思う
ちなみにNSは多くの専門家が修正が必要だと考えていて、ミレニアム問題の解決が
ヒントになればと期待しているようだな