- Componentes de un SAF. El teorema de indecidibilidad de Gödel.
En el siguiente trabajo se va a dar una breve reseña de algunos de los diferentes teoremas, existentes para la lógica y la matemática dando una descripción de forma rápida y precisa acerca de estos teoremas; Entre ellos el teorema de godel y su teorema de incompletitud Sobre proposiciones formalmente indecidibles en los Principia Matemática y sistemas análogos, además de sus aportes al sistema MIU.
Otro tema también explorado es el de los sistemas axiomáticos formales el cual se define por medio de una definición explicita e implícita y se ve regido por una serie de teoremas.
Las ciencias formales y las fácticas también son de gran interés debido a estas contiene una serie de reglas o proposiciones para que estas ciencias se puedan llamar ciencias formales y fácticas...
