Real Analysis and Foundations