It kind of does come across as pedantic – the real question is just that “Does pi contain all sequences”

But because of the way that it is phrased, in mathematics you do a lot of problems/phrasing proofs where you would be expected to follow along exactly in this pedantic manner