形式的演繹

書いてみる

関連タグ

#ZFC (617)
#ZFC公理系 (28)
#ZFC集合論 (19)
#aleph (23)
#アレフ数 (7)
#キューネン (23)
#キューネン数学基礎論講義 (22)

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

犬神工房
2年前

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

犬神工房
2年前