Dedekind有限集合
有限集合より大きいが可算無限集合と比較不能な集合
選択公理を仮定しないとき出現する
第11章 選択公理
「集合・写像・数の体系　数学リテラシーとして」の草稿
https://alg-d.com/math/ac/d_finite.html
壱大整域
$ AがDedekind無限集合である$ :\iff\N\lesssim_\# A
https://ja.wikipedia.org/wiki/デデキント無限
デデキント有限集合
#2025-06-08 18:27:08