Title: Foundations for Higher Mathematics