Foundations of Higher Mathematics