Bourbaki was a thing so probably. And we know the joke about Bourbaki and Lang. Though the reference is diminished by the latter’s relationship with the former.
I do have a possibly relevant joke: A math student asks his professor how to visualize a result in 7-dimensional space. The professor responds: "It's easy. I visualize the result in n-dimensional space, then simply take n = 7."
To relate it to maths: It would be equivalent to someone doing math research without knowing how to do proof by induction (in analogy to not knowing how to implement .sort())
Proof by induction is more akin to for-loop than optimized sort algorithms. It's often taught in the first mathematics course that includes proofs which can be Calculus II or even Linear Algebra. I would be surprised if a Math student did not learn it by their first Analysis course.
And that's OK.
(Mathematicians are probably too polite to moan about amateur plebs like me who didn't even learn primary school mathematics properly)
It's so pretty everyone should know it.