じっくり集合論解説

じっくり集合論解説シリーズです。（素朴集合論です）
2024/4現在、Zornの補題を証明することを目標にしています。

他シリーズで集合論の結果が必要になったらこっちに差し込む、みたいな使い方も考えています。

もっと見る閉じる