fujidig https://blog.hatena.ne.jp/fujidig/ 理科 https://fujidig.hatenablog.com/ 第0回 週刊 MAのモデルを作る #00 MA (マーティンの公理)とは何か - 理科 第1回 週刊 MAのモデルを作る #01 MAの応用 - 理科 このシリーズ「週刊 MAのモデルを作る」ではマーティンの公理のモデルを作ってその無矛盾性を示すことを目標にする．週刊と銘打ったが本当に毎週記事を出せるかは分からない．前提知識はZFCの公理，順序数，基数，累積階層程度に留めるつもりである．必要となる強制法の初歩は一連の記事の中で解説する． マーティンの公理とは集合論における命題の一つである．それはZFCから証明も反証もできない． マーティンの公理は性質のよい半順序集合とその稠密集合の族で族のサイ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffujidig.hatenablog.com%2Fentry%2F2020%2F07%2F02%2F222531" title="週刊 MAのモデルを作る #00 MA (マーティンの公理)とは何か - 理科" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/f/fujidig/20200702/20200702221353.png Hatena Blog https://hatena.blog 2020-07-02 22:25:31 rich https://fujidig.hatenablog.com/entry/2020/07/02/222531 1.0 100%