Sistema lógico compuesto de observaciones, axiomas y postulados, así como predicciones y reglas de inferencia que sirven para explicar de manera económica cierto conjunto de datos e incluso hacer predicciones, sobre qué hechos serán observables bajo ciertas condiciones.
«Se cuenta que los atenienses hicieron un voto a Apolo si sus hijos se libraban del peligro de mandar todos los años una teoría a Delos y lo cumplen siempre desde aquella fecha.» Platón (2018 [Siglo IV a.C.]). «Fedón», Diálogos, trad. de la editorial, Madrid: Edimat, 139. ISBN 978-84-9794-391-8.