This Element explores early stages of evolution of the notion of 'infinities of different sizes' via  medieval arguments for finitism!

Discussing various versions of two medieval arguments for the impossibility of infinity, this Element sheds light on early stages of the evolution of the notion of INFINITIES OF DIFFERENT SIZES. The first argument is called 'the Equality Argument' and relies on the premise that all infinities are equal. The second argument is called 'the Mapping Argument' and relies on the assumption that if one thing is mapped/ superposed upon another thing and neither exceeds the other, the two things are equal to each other. Although these arguments were initially proposed in the context of discussions against the possibility of infinities, they have played pivotal roles in the historical evolution of the notion of INFINITIES OF DIFFERENT SIZES.