rative process R, with an added instruction I saying: "Stop at N." Given the choice between R and R+l, no scientist would ever choose R+I and reject I. QED again. So the sentences of I-language an unbounded set, like our knowledge of the natural numbers. But that's the only notion of "infinite" that is

rative process R, with an added instruction I saying: "Stop at N." Given the choice between R and R+I, no scientist would ever choose R+I and reject I. QED again. So the sentences of I-language an unbounded set, like our knowledge of the natural numbers. But that's the only notion of "infinite" that is