人気の記事一覧

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

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

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

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