>>428
「証明不可能」だったらまだいいかな。
でも、NBG集合論からは「否定が証明可能」で、
多くの数学者にとって正しいと思われてる命題って具体的にある?