конечно была об этом еще понтрягин говорил(даже шире это можно назвать канторизм-гильбертонизм-бурбакизм)
и есть
но тихо сливается "без потери лица"
перекрашиваясь в конструктивизм и интуиционизм
однако всилу закостенелости всё еще пытаются что-то формально доказать( и это глупо)