Real analysis and foundations. (2013)