>>612
有限集合とは”元の数が有限の集合”であることは受け入れた?

まだなら集合論の研究者に尋ねてね