User blog comment:Ytosk/Trying to define Bowers' K(n) systems/@comment-43798125-20191031221625/@comment-35470197-20191031222602

> Does this make sense?

If the sentence is just inteded to define a notion of a "K(n) system", it has no issue. If we are working in a set theory, a symbol is just a set.