旧国語跡地

国語(https://yasudayasutomo.github.io)の跡地

2019-03-01から1ヶ月間の記事一覧

Chang's conjectureの無矛盾性

3月になって暖かくなってきました.大学に入学してもう一年経ちました.B2ではもっと巨大基数の深い勉強をしたいなと思っています. 宇多田ヒカルを毎日聞いていると心がだいぶ軽やかになりますね.. さて巨大基数は命題の無矛盾性を測る良いモノサシになり…