 As its name suggests, methodological structuralism concerns the methodology of mathematics, thus mathematical practice.  Or as one might also put it, it concerns a certain “style” of doing mathematics. That style consists in studying whole systems or structures of objects in terms of their global, relational, or structural properties, while neglecting the intrinsic nature of the objects involved. This can be done in two main ways, often intertwined in practice: by proceeding axiomatically, i.e., by deriving theorems from basic axioms for the systems at issue; and by considering morphisms between them (homomorphisms, isomorphisms, etc.), together with invariants under those morphisms. As such an approach typically involves infinite sets, non-decidable properties, and classical logic, it tends to be opposed to more “computational” and “constructivist” ways of doing mathematics (cf. Reck &amp; Schiemer forthcoming for extensive historical background).