もしかして、有限回というのを定義するのに自然数を使わないといけないから循環論法になっているということですか？
でも解析入門1はそこまで厳密指向の本ではないように思います。