Bernard Bolzano

lived from 1781 to 1848

Bolzano successfully freed calculus from the concept of the infinitesimal. He also gave examples of 1-1 correspondences between the elements of an infinite set and the elements of a proper subset.