Foundations of Higher Mathematics: Exploration and Proof