Una teoría formal consta de una serie de signos y un conjunto de reglas para manipularlos y combinarlos.