>>814
モデルが存在するなら無矛盾であり、逆に無矛盾ならモデルが存在する。
がっつり対応してるじゃん。
この程度の話すら理解できないバカなの？