El trabajo trata sobre la verdad inmutable de las reglas matemáticas y si estas, por

este carácter de inmutabilidad son creación del hombre o son dadas por un intelecto
superior de todas las cosas, el cual podría denominarse Dios.
Parte de las investigaciones hechas por Gödel respecto de “la imposibilidad de
formalizar la totalidad de las matemáticas en un sistema deductivo formal” 1; esto
demostrar que existen proposiciones que pueden estar perfectamente construidas,
con forme a las reglas de los sistemas axiomáticos, que pueden prescindir a la vez de
dichas reglas axiomáticas.
El trabajo se desarrolla de la siguiente manera.
Destaca como fundamentales dos propiedades de los sistemas axiomáticos: en
primer lugar, la decidibilidad: se dice de una proposición si es decidible cuando
mediante una serie de reglas construidas mediante pasos deductivos es posible
entonces demostrar o refutar dicha proposición; posteriormente nos introduce la
propiedad de completud: de la cual podemos decir que un sistema es completo cuando
toda proposición elaborada correctamente se puede decir que tanto su afirmación
como negación pertenecen a dicho sistema.
Refuta los sistemas de “Principia Mathematica, y la teoría axiomática de
conjuntos” de Zermelo- Fraenkel. Con ello demostró que todas las matemáticas, son
imposible de formalizarse en un solo sistema deductivo.
Aborda al idea de un platonismo matemático el cual nos define como:
“la concepción de que la matemática describe una realidad no sensible, que existe
independientemente tanto de los actos como de las disposiciones de la mente humana, y que
es solo percibida por ella, aunque probablemente de forma incompleta”.2

Esto es que sea cual fuere el sistema axiomático que se emplea para analizar
proposiciones siempre habar algunas que escapen a estas reglas, y por ello del
entendimiento de la mente propiamente humana, con lo cual se debe tomar por una
idea supra- metal o metafísica, lo que después con San Agustín nos dice, es la idea de
Dios.
Con respecto a San Agustín parte de una obra suya, titulada -De libero arbitrio,
cap. 2- el cual polemiza entre las doctrinas maniqueas(bus def) y el Evangelio, donde
aborda el problema del origen del mal, y sobre el cual tiene su origen en el pecado y se
adjudica al libre albedrío, propone San Agustín que cualquier cosa que se considere
superior a la inteligencia humana, es reflejo de Dios, o, es Dios mismo. Resalta la
existencia de ideas inmutable permanentes en todos los hombres inmutables, cono la
idea de numera y esta la relaciona a su vez con Dios, dado que no cambian y se
mantienen semejante y superiores a la comprensión del hombre.
Muestra que la verdades matemáticas escapan a nuestra inteligencia, y por ello
permanecen inmutables, y estas ideas a su vez se relaciona con Dios, por su carácter
inmutable, y nos die entonces, que quien conoce de matemáticas, sabe de lo que no
puede cambiar, hecho que lo acerca a Dios.

1
2