XiXiDu comments on Learning the foundations of math

[XiXiDu]

Is all ordinary mathematics contained in high school mathematics?