blogこの広告は、90日以上更新していないブログに表示しています。II"のなかの一つの記事10pagesくらいを担当しました。内容は、KunenのInconsistencyの定理についてです。Reinhardt基数のことについて書いたのです。書籍中ではリインちゃんと読んでいます。これは、まあ敢えてネタバレすると、皆さんご存知のリリカルなのはA'sにおいて登場するリインちゃん(Reinforce)になぞらえてつけた名前です(まあ偶然にもforceもかかっているわけなんで)。zwei託して死んでしまいます。なんとまあ儚いことですが、これが記事の本編とも関係しているわけです、はい。実際Reinhardt基数ってのは幻の基数でして、登場とほぼ同時期にその非存在が証明されてしまいました。その証明ってのがKunenのInconsistencyというやつです。暇があったら証明読んでやって下さい。練習ssreflect始めました.月別アーカイブはてなブログをはじめよう!srbsrbさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。