MainScienceMathLogic and Foundations