>>277
あなたは

>完全かつ健全な論理上に構成されたある理論Tのある論理式φについて T|=φ であることを示す手段はご存じですか？　そこにTのモデルは不要であることはご存じですか？
との問いに
>当たり前です
と回答されました。

>解析学で集合論のモデルを固定するんですか？
との問いに
>もちろん固定します
と回答されました。

つまり、モデルが不要なのにその固定が必要という見解ですよね？　なぜモデルが不要なのにその固定が必要なのか説明いただけますか？
私には矛盾に見えますが矛盾でないとおっしゃるので分かるように説明をお願いします。

あと>>239への回答もお願いしますね　ずっと未回答のままですよ