うーん昨日書いたことは的を射てないような気がしてきた。
というのは、
V^{P}\models\phi
というのはmetatheoryの\phiにしか定義されないということを考慮せずに昨日の記事を書いたから。
今読んでる論文はその辺のデリケートな話をひょいひょいとやっているということに今更ながら気づいた。