ただ無矛盾性が強い体系というのは、
要はモデルを作る能力が強いということなので
一般的にはそれより弱い体系の或る命題が
証明出来るか出来ないかを判定することが出来る場合が多いかと