0157132人目の素数さん垢版2018/07/06(金) 08:26:20.63ID:DJa7nvJ7 >>155 >>154 >τの極大無矛盾な公理系Tを形成して、T内の論理式を構成する形式的文字列それ自身を対象とみなしてモデルMを構成します >τ|-φ⇔T∋φ⇔T|=φ >τ|-φでない⇔T∋φでない⇔T|≠φ >このようにすると、Tはτのモデルとなります 読めないんですか?