Componentes de un SAF.
El teorema de indecidibilidad de Gödel.
En el siguiente trabajo se va a dar una breve resena de algunos de los diferentes teoremas, existentes para la logica y la matematica dando una descripcion de forma rapida y precisa acerca de estos teoremas; Entre ellos el teorema de godel y su teorema de incompletitud Sobre proposiciones formalmente indecidibles en los Principia Matematica y sistemas analogos, ademas de sus aportes al sistema MIU.
Otro tema tambien explorado es el de los sistemas axiomaticos formales el cual se define por medio de una definicion explicita e implicita y se ve regido por una serie de teoremas.
Las ciencias formales y las facticas tambien son de gran interes debido a estas contiene una serie de reglas o proposiciones para que estas ciencias se puedan llamar ciencias formales y facticas.
Fuente: http://www.ilustrados.com/
