つまり無矛盾なだけじゃ
自己の無矛盾性は独立命題じゃない。
それに自己の無矛盾性よりも強い主張ならば
（ロッサーの第一不完全性定理に使われる可証性述語）、
自己の無矛盾性が証明できてしまう。