And another point, high school and college level math is coming from the 18th and early 19th centuries. All of it can be explained without formalization from 19

And another point, high school and college level math is coming from the 18th and early 19th centuries. All of it can be explained without formalization from 1920-30 and students for non-mathematical degrees will understand it much better. I can explain sets to elementary school kids in 10 minutes ;)