names have to be finite in length. i think that's pretty obvious
I don't see how that's any more obvious than the suspicious claim that numbers can have only so many digits.
I don't see how that's any more obvious than the suspicious claim that numbers can have only so many digits.