Foundations of Advanced Math