Non-standard Analysis and the "Leibnitian" Foundation of Analysis