This reasoning is understandable, but also incorrect, and we can point to where it breaks down: the idea that the 7 is "at a specific decimal" doesn't hold true, due to that pesky ellipsis. The crazy bit about the infinite repetition is that the 7 in 0.666...7 is
not at a specific decimal. It's not even at "the last decimal" because there is no last. So, let's show this via a proof by contradiction:
---
1. we assert that 0.666...7 is a sequence of digits.
2. we assert that each digit in a sequence can be assigned an integer index corresponding to its position in the sequence. I.e. we can defined each digit's index as "the number of digits that precede this digit".
3. from (1) and (2) it follows that the index for 7 must be an integer.
4. the ellipses represents an infinite number of digits (infinitely repeating the repeated digit pattern preceding it).
5. from (2) and (4) it follows that the index for 7 must be the integer value "infinity", because it has an infinite number of digits preceding it.
6. (3) and (5) cannot both be true, because infinity is not an integer.
7. from (6) it follows that (1), and/or (2), and/or (4) must be false
8. (4) is, by definition, true.
9. from (7) and (8) it follows that (1) and/or (2) must be false.
10. (1) is our fundamental assertion. If (1) was false then there is wouldn't even be a sequence of digits for us to reason about. So (1) is true.
11. from (6), (8), and (10) it follows that (2) must be false for there to be no contradiction.
QED
---
Now, certainly, for finite length numbers the assumption that each digit in a sequence has an integer index holds true, but it turns out we have mathematical notation that lets us write down numbers for which that property does not hold.
Infinities are fun. And difficult. But also fun.
