19/12/29 22:34:35.09 /Zdz9M/3.net
>>131
＞無限の定義
＞無限とは部分と全体が等しいことである
デデキントは
「A と同数（equinumerous）であるようなA の真部分集合B が存在すること」
を無限の定義とした（デデキント無限）
URLﾘﾝｸ(ja.wikipedia.org)
通常の無限の定義は以下の通り
「どのような自然数 n に対しても、{0,1,2,..., n -1}（有限順序数）と A との間に全単射が存在しないこと」
選択公理ACを仮定しない場合、無限集合であるにもかかわらず
デデキント無限でない集合が存在することが知られている
（上記の無限集合は整列不可能である）