The predicates 'finite' and 'infinite' apply only to a completed or completable sequence of division...