Bernard Bolzano
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.