>>193
ごめん意味わからん？
“2+3”や”1+4”が項だよね？
これは違う項だよね？
これのモデルMでのinterpretationを”2+3”^M、”1+4”^Mと書くとして
“2+3”≠”1+4”だよね？
でも”2+3”^M = “1+4”^Mだよね？
だから”1+4”と”1+4”^M、”2+3”と”2+3”^M 同一視できないよね？