You're right, it's not an inductive proof, it's a reductio ad absurdam.

Since the smallest element of the set of uninteresting numbers is interesting, it must therefore not be a part of the set. We have a paradox, hence the "smallest element of the set of uninteresting numbers" does not exist, and the set is empty.