人気の記事一覧

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

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

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

数学(2022/7/26):キューネン本2冊についての記事_17_FIN.『キューネン数学基礎論講義』第I章&『集合論』第I章の特色

数学(2022/7/21):キューネン本2冊についての記事_16.ZFC集合論の公理のリスト_14(最終成果物:(無限をも扱える)数学)

数学(2022/7/11):キューネン本2冊についての記事_14.ZFC集合論の公理のリスト_12(中間生成物:基数としての自然数全体の集合)