Es hat hier übrigens mit den Zahlzeichen (1), ((1) + 1), etc. eine gewisse Schwierigkeit: Nämlich die, daß wir sie nach einer gewissen Länge nicht mehr unterschieden können, ohne die Striche zu zählen, also
99
ohne die Zeichen in andere zu übersetzen. “❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘ ❘” und “❘ ❘ ❘ ❘ ❘ ❘❘ ❘ ❘ ❘ ❘” kann man nicht in dem Sinne unterscheiden – sie sind also nicht in demselben Sinn verschiedene Zeichen – wie “10” und “11”. Übrigens würde dasselbe natürlich auch im Dezimalsystem geschehen (denken wir an die Zahlen 1111111111 und 11111111111), aber das ist nicht ohne Bedeutung. –