User blog comment:Kyodaisuu/Pseudo Rayo's number/@comment-24061664-20140617085557

Hmm... for example, in the FOST expression (((¬∃3(3∈2))∧2∈1)∧(¬∃3(3∈1∧(¬3=2))))", 1, 2, 3 indicate the sequence of variable, which are integers. If we express the integers in decimal, we use 1234567890, so maybe my first expression of 17 symbols is correct.