The system can be claimed to transcend certain critical limitations of predicative analysis and certain awkwardness of known nominalistic approaches to mathematics at once, and would seem to provide a well-motivated alternative to Zermelo set theory as a framework for scientifically applicable mathematics.