User blog comment:Tetramur/Well-defined Oblivion number (I think)/@comment-35470197-20200106221111/@comment-35470197-20200221065605

> X is a complete system - that is, all formulas in X can be defined using pre-defined symbols (if you are using strings of symbols, then it counts as one symbol, for example, if you change the symbol "exists" into 2556 ones, then they all still count as one symbol), and rules for them, as FOST, Fish system and FOOT do.

It does not make sense. What is a formula in X? Since you do not restrict it to first order logic or any other variant, you have not defined what "formula", "symbol", and so on mean. Please fix a definition without using undefined notions.

> So, if you count brackets as one symbol, then Rayo's system is K(6) and Fish oracle and FOOT are K(7).

No. If you count in that way (under the assumption that you have formalised how to count "symbol"), ZFC set theory is not described in finitely many symbols. For example, how could you write down the comprehension schema including 8 distinct variable symbols?