Real analysis and foundations - Krantz, Steven G. (Textbooks in mathematics, 2017)