>>550

量の有限性じゃなくて、手続きの有限性が重要なんじゃないの？
極限をとる、という操作は「無限回の操作」を代行する有限回の操作
なわけで。