En Ciencia, una teoría es un modelo de la realidad, usado para racionalizar, explicar y predecir fenómenos físicos. De acuerdo con el método científico, una teoría tiene que poder ser comprobada por la experimentación, o la observación. Si los hechos previstos por una teoría no pueden ser verificados, o aparecen nuevos hechos no previstos en una teoría, siguiendo siempre los principios del método científico, se tiene que cambiar la teoría, cambiando algunos de sus axiomas, o añadiendo de nuevos.
Se utiliza el término conjetura para referirse a una suposición que no está soportada por ninguna observación, o experimento . En cambio, una hipótesis tiene el apoyo de los experimentos, o de la observación.
Una teoría válida se distingue por que tiene una lógica interna, es decir, un teorema no contradice a los otros teoremas, de forma que todo el conjunto es coherente según las reglas de la lógica. Además las teorías válidas suelen permitir de hacer predicciones sobre fenómenos físicos en un ámbito científico determinado. En general, se suelen preferir las teorías que son más simples y elegantes desde un punto de vista matemático (veáis: El principio de la Navaja de Occam), y las que se pueden aplicar a un rango de fenómenos más amplio.
Hace falta no confundir teoría con teorema.
En matemática, una teoría se un conjunto de proposiciones relacionadas lógicamente. En lógica matemática, una teoría se un conjunto de axiomas y todas los teoremas que se pueden derivar. El teorema de incompletitud de Gödel dice que ninguna teoría consistente, con un número fenecido de axiomas, no puede contener todas las proposiciones verdaderas. De una teoría T es dice que es decidible si existe un algoritmo que determina si cualquier proposición dato es o no un teorema de T . Por ejemplo la teoría de grupos abelianos es decidible, mientras que la teoría de conjuntos es indecidible.ckb:بیردۆز