En lógica matemática, "teoría" es el término usado para un conjunto de fórmulas de ciertos axiomas y todos los teoremas comprobables a partir de estos.