IMO this is a pedagogical insanity, flooding young kids with formalisms that took centuries to emerge without any explanation about their background and enforcing form over content, which is what cuts many super talented people and forces them to focus at different fields.
There are many problems with contemporary math that are conveniently avoided (binary logic for example - most of the population doesn't believe it has any connection to thinking due to weirdness of material implication and teacher's insistence that this is the right way to think, never mentioning that its distant father Aristotle was so discontent with it that he immediately developed a first proto-modal logic), etc. If some constructionists and intuitionists weren't going against the scientific current, we wouldn't have had computers for a long time.