モデル論的意味論とモデル理論の違いなどは文脈的に明らかだから、全く拘るような話ではない
そんな無駄な話をするくらいなら、IUFが少なくとも集合論とモデル理論に跨がる何らかの
新しい理論を示唆するかどうか、夢のある話をしたほうがよい
全否定に拘るとそんな話はできないわけだが