ここの賢者は皆
「最後の元が存在しなくても集合として存在し得る」
と思ってる

もちろん、絶対の確信があるわけではない
なぜなら絶対に無矛盾だと証明できたわけではないから
（ゲンツェンによる自然数論の無矛盾性証明は
　より強力な帰納法を用いているから、
　数学的な意味はともかくとして、
　絶対的な無矛盾性の保証にならない）