Correct, but as each is defined here and in under 60 letters, they are excluded from consideration. You're not constrained to writing out the way we say the number, you can use all forms of description.
Discussion
What do you mean by the second sentence? Like writing ten times ten instead of one hundred ?
Yeah
I don’t know about this. Never saw a maths theorem with letters before. Maybe it’s something for fun
Letters instead of digits. But you get my point
Wish we had voice rn lol. You get the gist. Highlights how even formalized language can lead to basic contradictions if you're not more careful. Came up when reading some stuff today on foundations of math... you'll love my upcoming blog post if you like this. Soontm