>>17
それは「有限集合」と定義した対象の直感的意味。
「有限集合」の定義ではない。
「有限集合」の正式な定義(の一例)では
数学的帰納法の成り立つ集まりの要素と1対1対応する集合
として循環を回避する。