読者です 読者をやめる 読者になる 読者になる

数学 数学

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