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

It is incorrect. You need to fix the arity. (I guess that you understand it, but your answer is not appropriate for a questioner who might not know proof-theory.)