> to model mathematical theorems, You could also say that mathematics is a model of how Sets behave. It is a generalized model of reality. We don't create mode

> to model mathematical theorems, You could also say that mathematics is a model of how Sets behave. It is a generalized model of reality. We don't create models of mathematical theorems, the theorems are a property of the very generalized and abstract model which is mathematics.