diaryこの広告は、90日以上更新していないブログに表示しています。数学うーん昨日書いたことは的を射てないような気がしてきた。いうのは、V^{P}\models\phiというのはmetatheoryの\phiにしか定義されないということを考慮せずに昨日の記事を書いたから。今読んでる論文はその辺のデリケートな話をひょいひょいとやっているということに今更ながら気づいた。03:33うーん昨日書いたことは的を射てないような気がしてきた。読者になる検索リンクはてなブログブログをはじめる週刊はてなブログはてなブログPro最新記事17/04/2517/04/2117/04/1117/04/1017/04/08-17/04/09月別アーカイブはてなブログをはじめよう!arishikiさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。