I’m a category theorist so I’m going to nitpick - the claim that all concrete mathematical objects are specific sets is either tautological (a concrete category is literally one where each object has an underlying set) or untrue (I can think of several non-concrete categories that may be studied “concretely” using type theory, such as the microlinear spaces of synthetic differential geometry).