User blog comment:Kyodaisuu/Pseudo Rayo's number/@comment-1605058-20140617084937

Actually, FOST is isn't just numbers - in FOST we have abstract symbol for 1, another one for 2, for 3,... so we have infinitude of symbols. The reason why Rayo's number is still meaningful is that only finitely many of these symbols are used at the same time, and it doesn't matter if we use symbol for 10, or for 1000, as long as they aren't both used.