Foundations of Analysis