Real analysis and foundations. (2022)