por Una Teoría Matemática está constituida por una o más Variables Conceptuales y por una o más Variables Conceptuales Restrictivas cuyos valores restringen los valores de las Variables Conceptuales. La interacción entre una Variable Conceptual y una o más Restricciones da lugar a una Conclusión sobre los valores de la Variable Conceptual, estos tres elementos, Variable Conceptual, Variable Conceptual Restrictiva, Conclusiones, constituyen la Estructura de los Lemas, Teoremas y Corolarios de una Teoría Matemática. El Sistema de Restricciones a los valores de la Variable Conceptual y de Conclusiones sobre los valores de la misma Variable Conceptual, generadas por esas Restricciones, conforman un sistema de Aseveraciones de Valor sobre los valores de la Variable conceptual y conforman una Estructura Conceptual Matemática.
Los Conceptos de Variable Conceptual y Variable Conceptual Restrictiva reciben esos nombres porque sus valores son Conceptos: números, variables, funciones, funciones derivables, funciones integrables, funciones continuas, intervalos, conjuntos, conjuntos compactos, espacios, grupos, nudos, gráficas, fibras, sucesiones, series, etc. Los valores de la Variable Conceptual Restrictiva producen Demarcaciones entre los valores de la Variable Conceptual; estas Demarcaciones forman parte de una partición inducida por la relación de equivalencia: dados a y b, valores de la Variable Conceptual, se tiene que a ~ b si a y b cumplen al menos una de las Aseveraciones de Valor de un Sistema de Teoremas. Ver los ejemplos.
Ejemplo 1: Las Funciones Reales de Variable Real son, por sí mismas, conceptos o ideas de relaciones de tipo funcional entre conjuntos de números reales:
f : R → R
Las Funciones Reales de Variable Real: polinomios, funciones racionales, funciones trigonométricas, logarítmicas, etc., constituirían los valores de una Variable Conceptual relativa a la teoría del Análisis Real.
Ejemplo 2: Las Funciones Complejas de Variable Compleja también serían, por sí mismas, conceptos o ideas de relaciones de tipo funcional entre conjuntos de números complejos:
f : C → C
Las Funciones Complejas de Variable Compleja: polinomios, funciones racionales, trigonométricas, logarítmicas, etc., constituirían los valores de una Variable Conceptual relativa a la teoría del Análisis de Variable Compleja.
