 Much in Kant’s discussion of the antinomies of space and time is marred by his conflation of the modern definition of infinity as lack of finitude with the Aristotelian conception of the impossibility of completion. In addition, at A487/B515 we have confirmation that Kant uses “infinite” and “unbounded”, as well as “finite” and “bounded”, synonymously: “For if it [the magnitude of the world in space] is infinite and unbounded, then it is too big for every possible empirical concept. If it is finite and bounded, then you can rightfully ask: What determines this boundary?” It was only with the work of Bernhard Riemann in the nineteenth century that geometrical concepts of space were introduced that allowed the decoupling of unboundedness and infinity (and correspondingly of bounded and finite). See section   8.2.