En
lógica, una
teoría es un conjunto de proposiciones dentro de un
lenguaje formal que es semánticamente completo en el sentido de que todo
modelo que satisface todas las proposiciones de la teoría también satisface cualquier otra proposición que sea consecuencia de la misma.