The Foundations Are Math and Logic