Fundations of Analysis