User blog comment:Mush9/NOOP function/@comment-29014792-20161111175539/@comment-1605058-20161111205933

I'd guess Aarex refers to K(n) systems which are "defined" by Bowers here. Though "defined" is not really the right word here, since this description is not much better than something like "the largest number describable in less than n symbols".