人気の記事一覧

数学(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(中間生成物:整列可能集合)

日記(2022/2/6)長い記事を終えたので久々に肩の力を抜いて近況を書く_2(この回は日記というか読書)

日記(2021/8/1):読書要約をやっていたら今日が終わってしまった。マジかよ(注:論理と集合と数の専門的な話)

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

随筆(2020/10/9):自然法や人権の実在論など、本当はどうだってよいのだ(それはなぜか)

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

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