>>453
>Σ |= φを「Σのモデルでφは恒真」とかそういう言い方するんじゃないの？

うーん、「恒等式」と「方程式」の区別でもそうだけど
条件があるときに「恒」真というのは違和感あるなあ。
英語のtautologyなら尚更違和感。

でもそんな言い方してる文献が絶対ないとは言えないので
そういう文献があるならあげてもらえる？