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 ;)