En matemáticas, una teoría es un conjunto de proposiciones cerradas bajo implicación y deducción lógica, es decir; si «P» y «P implica Q» son proposiciones de una teoría entonces también Q debe ser una proposición de esa teoría, ya que es deducible de las anteriores.