The spirit of mathematical analysis, and its relation to a logical system