>>764
そう、真理述語というか充足関係というか「解釈」を形式化した論理式の性質が重要。
もう一つ、この論理式に帰納法が適用できる、という条件も必要。
だから自然数論での無限モデルでも、ZFCでのクラスモデルでも、
これらの条件を満たせば無矛盾性が導けます。
領域が有限か無限かは余り本質的ではなく（述語論理か命題論理かも余り関係ない）
この真理述語の性質がクリティカル。