Topology and Foundations