There is a parallel with software systems, which are also involve complex systems of definitions and abstractions.

Software is interesting in that it can be given a mathematical interpretation, and an operational / physical one as well.

But it's especially clear with functional programming, that software can consist of a system of mathematical definitions.

(Other math, however, can get even harder, as the definitions can get more abstract, and they can refer to non-computable entities, or even non-constructible entities.)