Esto se hace particularmente relevante para modelos matemáticos, los que se conciben, específicamente, como un conjunto de axiomas o definiciones previas — también llamados postulados o enunciados— datos y asunciones o hipótesis que, mediante algunas reglas de transformación, permiten la creación de teoremas.