うーん昨日書いたことは的を射てないような気がしてきた。 というのは、 V^{P}\models\phi というのはmetatheoryの\phiにしか定義されないということを考慮せずに昨日の記事を書いたから。 今読んでる論文はその辺のデリケートな話をひょいひょいとやってい…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。