人気の記事一覧

日記(2023/10/3):今まで作って来た数学読書要約の図を整理していたが、一里塚までは行ったので、おめでとう、という気持ち_2

7か月前

数学(2022/7/16):キューネン本2冊についての記事_15.ZFC集合論の公理のリスト_13(中間成果物:遺伝的有限集合全体の集合)

数学(2022/7/1):キューネン本2冊についての記事_12.ZFC集合論の公理のリスト_10(中間生成物:集合一般における基数)

数学(2022/5/26):キューネン本2冊についての記事_6.ZFC集合論の公理のリスト_4(中間生成物:順序数としての自然数)

数学(2022/6/1):キューネン本2冊についての記事_X.記事再編のお詫び

数学(2022/5/16):キューネン本2冊についての記事_4.ZFC集合論の公理のリスト_2(空集合公理・対公理・和集合公理・冪集合公理、中間生成物:(集合論的な)関係)

数学(2022/6/26):キューネン本2冊についての記事_11.ZFC集合論の公理のリスト_9(選択公理と、そのバリエーションとしての整列可能定理と、選択公理と等価である命題全般)

数学(2022/6/11):キューネン本2冊についての記事_8.ZFC集合論の公理のリスト_6(中間生成物:形式言語)

数学(2022/6/6):キューネン本2冊についての記事_7.ZFC集合論の公理のリスト_5(無限公理、中間生成物:順序数としての自然数全体の集合)

数学(2022/6/21):キューネン本2冊についての記事_10.ZFC集合論の公理のリスト_8(基礎公理と、そのバリエーションとしての「数学上は万有クラスが累積階層全体の真クラスに等しいとする主張」と、基礎公理と等価である命題全般)

数学(2022/5/6):キューネン本2冊についての記事_2.ZFC集合論について論じる前の下準備(一階述語論理、直観主義論理、(厳格な)構成主義的数学)

数学(2022/5/11):キューネン本2冊についての記事_3.ZFC集合論の公理のリスト_1(集合存在公理・置換公理図式・内包公理図式・外延性公理、中間生成物:集合)

数学(2022/7/6):キューネン本2冊についての記事_13.ZFC集合論の公理のリスト_11(中間生成物:有限基数より大きい基数)

数学(2022/6/15_2):キューネン本2冊についての記事_9.ZFC集合論の公理のリスト_7(中間生成物:基数としての自然数)

数学(2022/5/21):キューネン本2冊についての記事_5.ZFC集合論の公理のリスト_3(中間生成物:整列可能集合)

諸行無常とラッセルのパラドックス

随筆(2021/1/1):謹賀新年を兼ねて、年始のご挨拶

日記(2020/8/3):数学本要約3/4完了

随筆(2020/9/7):クソリアリスト、ストレスに死す(そんなやつのどこが適応的なんだ)5. 現実世界の背骨に潜む、抽象的な幽霊たち

『高校数学のロードマップ』B_1(参考編_集合編)1(集合)1(論理学の一部)