>>117
だから>>32でいいのだよ
有限集合で重要なのは、「上限nが存在する」ってことだろ
そのnをさらに詰めたいと思うなら、それはペアノの公理なり使えば良いわけでな