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

I understood. The value of Oblivion is depending on subtle moments.

> if you are considering first order logic

No. FOST needs only seven symbols - five basic and two brackets, so it is not a first-order logical system. I use the same logic as FOST and FOOT

> If you are considering the number of sorts of symbols

No. I consider only number of symbols in K(n) and Oblivion's definitions.

> K(1)

It doesn't exist. How do you build such a construction with only one symbol if FOST uses seven symbols?