>>278
>竹内外史、「証明論入門」、共立出版
その本に命題を証明するためにはモデルの固定が必要と書かれてるんですか？
そんな本破り捨てた方がよいですよ

まあ本が間違ってるのではなくあなたが誤読・誤解してるだけだろうとは思いますが