>>481
無矛盾な公理系は無矛盾と証明されている公理系という意味じゃない。
少しは日本語をマジメに勉強しろ。