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

なぜZFCでなくNBG？
もしかして、クラスを考えないと
「証明されてるが受け入れられない定理」
があるのかな？（例えば集合の全体が存在しない、とか）