今日覚えたコトバ：高階述語論理．初めてってわけじゃないんだけど，身近な例で再発見した，という意味で．とりあえず，「変換系列の有無」を変換系列にしたりするのは，出来なくなくとも手にあまるような気がする．