>>246
>もちろん固定します
ちなみに、完全かつ健全な論理上に構成されたある理論Tのある論理式φについて T|=φ であることを示す手段はご存じですか？　そこにTのモデルは不要であることはご存じですか？
これ、基礎論の初歩の初歩ですけど理解されたうえで「もちろん固定します」と断言されましたか？