Un sistema formal o matemtica formal es una gramtica formal usada para la modelizacin.

Se
usa en las ciencias formales de la lgica y las matemticas, as como en otras disciplinas
relacionadas como son la informtica, la teora de la informacin, y la estadstica, para
proporcionar una definicin rigurosa del concepto de demostracin.
La matemtica fue considerada un sistema formal ya que toda la matemtica puede ser
interpretada a base de smbolos, axiomas y reglas de produccin. Pero en 1931 Kurt Gdel
demostr que la coherencia y la completitud no podan ser ciertos a la vez en las matemticas, o al
menos en los nmeros enteros
Coherencia: El sistema formal es coherente si cada teorema al ser interpretado no corresponde a
una decisin verdadera.
Completitud: El sistema formal es completo si cada proposicin verdadera puede ser
representada mediante un teorema. Es incompleto si alguna verdad no puede expresarse.
Decidibilidad: Un sistema formal es decidirle si existe un algoritmo que diga en tiempo finito si
una cadena cualquiera es un teorema o no lo es.
-_________________________________--Ciencia formal es aquella que busca comprender y destacar la verdad de las cosas. Utilizan la
deduccin como mtodo de bsqueda de la verdad. El objeto de estudio de la ciencia formal no
son las cosas ni los procesos, sino las relaciones abstractas entre signos, es decir, se estudian
ideas, son ciencias formales la lgica y la matemtica.
Es aquella que trabaja con formas, es decir, con objetos ideales, que son creados por el hombre,
que existen en su mente y son obtenidos por abstraccin. Les interesan las formas y no los
contenidos, no les importa lo que se dice, sino como se dice. La verdad de las ciencias formales es
necesaria y formal.
Las ciencias formales son las ramas de la ciencia que estudian sistemas formales. Las ciencias
formales validan sus teoras con base en proposiciones, definiciones, axiomas y reglas de
inferencia, todas ellas son analticas, a diferencia de las ciencias sociales y las ciencias naturales,
que las comprueban de manera emprica, es decir, observando el mundo real.
_____________________________________________
Las ciencias formales son las ramas de la ciencia que estudian sistemas formales. Las ciencias
formales validan sus teoras con base en proposiciones, definiciones,axiomas y reglas de
inferencia, todas ellas son analticas, a diferencia de las ciencias sociales y las ciencias naturales,
que las comprueban de manera emprica, es decir, observando el mundo real
Como la matemtica es una ciencia que, partiendo de axiomas y siguiendo el razonamiento lgico,
estudia las propiedades y relaciones entre entes abstractos (nmeros, figuras
geomtricas, smbolos). Las matemticas se emplean para estudiar relaciones cuantitativas,

estructuras, relaciones geomtricas y las magnitudes variables. Los matemticos buscan patrones,
formulan
nuevas conjeturas e
intentan
alcanzar
la verdad
matemtica mediante rigurosas deducciones.
stas les permiten establecer los axiomas y las definiciones