matt grime said:
Presumes that the arithmetic operations have been defined on infinite strings.
This is definitional, but once you introduce infinite strings, it is necessary to define operations on those infinite strings, and the definition conventionally used has the virtue of being analogous in all respects to those same arithmetic operations when defined on finite strings. Any other definition would not preserve a host of standard algebric properties of real numbers.
For example, this definition preserves the relation of B*(A/B)=A, and it is difficult to imagine any other definition which would preserve this property.
If you choose any other definition division would not have a well defined inverse function for numbers on the real number line, which would be a very undesirable feature for most ordinary mathematics.
Likewise, this definition is necessary to preserve the relation that A/B=C/D
Where A and B are in one base number system and C and D are in another base number system and A=C and B=D in parts of each number system where the mapping from the AB number system to the CD number system are the well defined (for example, where A and B are whole numbers in one base number system and C and D are whole numbers in another base number system and there is a definitional rule that establishes a mapping from whole numbers in the AB system to whole numbers in the CD system).
If the standard definition of the infinite string is not adopted, you have done the equivalent of adopting a preferred reference frame in GR.
Alternately one could define 0.33333. . . as the limit as the number of digits approaches infinity of the series 0.3, 0.33, 0.333, . . . which would uniquely produce the same natural definition of 0.3333. . . . which can be restated:
The limit a the number of digits approaches infinity of 1/3-0.3, 1/3-0.33, 1/3-0.333, . . . which is zero.