>>902
>君、その極大無矛盾理論を、自分が具体的に構築できる、と思ってる？
そういう「初心者でも分かる事」はどうでもいいよ
ツォルンの補題を仮定しているのだから非構成的であることは初心者でも分かることだから