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

>Let a K(n) system be a consistent axiomatic system with at most n symbols in the axioms in total.

Does this make sense? What symbols are allowed to define symbols? This was the problem that I felt was the obvious issue with Oblivion.

Also, you just defined K(n). Couldn't you define it in another axiomatic system?