>>56
自然数をペアノの公理によって定義した
それで良いよ

で、有限集合の定義は>>20で良いのか？

無限集合とは、有限集合ではない集合とするなら、その場合
無限集合に1対1対応が達成される根拠は何だ？