수학 전반를 메타 레벨에서 생각하면서 추상화하는 아이디어는 좋은데

실제로 이런 이론을 써서 무언가 중요한 다른 이론을 도출해내거나 의미있는 성과가 나오긴 함? 그냥 이론을 위한 이론이라는 느낌이 강해서