La teoría de la matemática engloba la filosofía, es por ello para clasificar
ontológicamente el platonismo, el logicismo, el intuicionismo, el formalismo y el materialismo formalista, debido a que según autores las matemáticas son hechos y no palabrerías. Dentro de las tres escolásticas medievales, se encuentra el nominalista, realista y conceptualista.
La fundamentación ontológica tiene distintas interpretaciones que se resume en
Formalismo(𝑴𝟏 ): la matemática con marcas físicas en el papel, Intuicionismo(𝑴𝟐 ): la matemática se sustenta en una construcción psíquicas, Platonismo-Logicismo(𝑴𝟑 ): para ambos tanto para el platonismo y el logicismo aceptan un realismo entre lo moderado y lo radical. El materialismo formalista niega las hipótesis de M1 , M2 , M3 , sin embargo el análisis matemático puede ver que no se puede separado el M3 con el M1 , M2, se puede disgregar mas no que funcionen de manera independiente. Debido que hay teoremas, matemáticos y signos, pero ante todo, sin matemáticos y sin signos no hay nada.
La clasificación gnoseológica de teorías de la matemática es básicamente se
refiere a la materia y a las forma matemáticas, eso quiere decir que la industria humanad son partes de las ciencias matemáticas. La estrategia metafísica conjugando Materia y Forma, y teniendo en cuenta que el peso pongamos 0 que significa ningún peso y 1 a todo el peso, entonces la fundamentación gnoseológica, a lo descrito anteriormente se tiene a la interpretación que son: Platonismo-Logicismo (1, 1): las matemáticas se sostiene que tanto la materia y la forma tienen el mismo peso, es decir se dan una suerte de yuxtaposición o adecuación, Intuicionismo (0, 1): mantiene que las matemáticas yacen en la mente humana es decir las crean ya sea espacial o temporal concluyendo que la materia no tiene nada que ver dentro de la forma, Formalismo (1, 0): mantienen que las matemáticas son en sí materia porque están en papel escrito y dándole por ende peso (F)=0 , Materialismo Formalista (0, 0):las matemáticas en cuanto a forma y materia son iguales es decir no hay división real debido a que ambas están concatenadas y codeterminadas como resultado de las operaciones mentales y manuales.
Los dilema de Benacerraf se somete a cuestión a los diferentes
interpretaciones sobre las matemáticas en sí, es decir estas recogen cuatro según como conciben las matemáticas que son: Platonismo-Logicismo: la matemática es universal y formal quiere decir si las matemáticas son universales son de carácter lógico, Materialismo Formalita: las matemáticas son universal y material, debido a que sostiene que los matemáticos como ser construyen verdades universales. , Intuicionismo: las matemáticas son particular y formal pero que la capacidad mental del matemático es lo primordial, y Formalismo: la matemática es particular y material, es decir se cambia en un pasatiempo confinado en una hoja de papel.
Dentro del materialismo formalismo el dilema de Benacerraf es falso debido
que las matemáticas no sea forma sino materia en el sentido de las operaciones son realizadas por un sujeto de carne y hueso y no son de alma y cuerpo, es ahí donde no se puede mezcal con el sujeto metafísico, en realidad los teoremas matemáticos están presentado en tipografía y no en el cielo o el pensamiento.