No - the tag description for number-sequence says:
A puzzle in which the hidden pattern behind a given sequence of numbers (and, often, the next term) is to be found.
The emphasis here is on determining a hidden pattern. However, the question to which you refer does not pertain to a pattern, hidden or otherwise. Rather, it focuses on mathematical argument and proof, and it just happens that the subject is a sequence of numbers.
If I was searching for a 'number sequence' puzzle, I wouldn't expect to see a question like yours among them. I think your use of the mathematics tag alone is correct.