辞書式積

書いてみる

関連タグ

#0 (645)
#OMEGA (148)
#ZFC (617)
#ZFC公理系 (28)
#ZFC集合論 (19)
#キューネン (23)
#キューネン数学基礎論講義 (22)

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

犬神工房
2年前

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

犬神工房
2年前