User blog:Tetramur/Well-defined Oblivion number (I think)

"A K(n) system is a complete and well defined system of mathematics that can be described with some mathematical microlanguage with no more than n symbols.

So, set theory as used in Rayo's number is K(7) - microlanguage for it has only seven symbols, and FOOT is derived from FOST by adding two symbols, thus it is K(9), assuming it worked. I think Fish number 7 oracle system is K(8) - it is derived from FOST by adding an oracle symbol.

And the definition of Oblivion is as follows:

"I define Oblivion as the largest finite number that can be uniquely defined using no more than a kungulus symbols in some K(gongulus) system."

Is it well-defined now?