>>477
ああ、(1)〜(6)の文脈全ての中で定理Bを否定してたのか。
だったら、そこで得られるのは「(1)の仮定は間違いである」ということだろ。

で、(1)の仮定が間違いということは、無矛盾な公理系は存在しないってことだ。
バカかこいつw