墓標

オタク思想とオタク地獄とラブコメと萌え4コマ漫画

2018-10-12から1日間の記事一覧

PFAの無矛盾性証明についてのノート

おはようございます。 PFAの無矛盾性証明を読んだのでそのノートを書きました。 PFAはMAの強化版みたいなやつで、無矛盾性証明のアナロジーも似通っているところがある気がします。 MA_ω1の無矛盾性はsizeがcontinuum未満のc.c.c.を並べてiterationしまくる…