>>483
>無矛盾な公理系は無矛盾と証明されている公理系という意味じゃない。

文脈からそういう意味で使ってるんだよ。
そう解釈しないと、俺の言ったことの意味が通らないだろ。