Una teoría consiste en el lenguaje formal de la lógica predicada de primer orden con cuantificadores (la lógica desarrollada primero por Frege y luego con mayor detalle por Russell y Whitehead) comple...Una teoría consiste en el lenguaje formal de la lógica predicada de primer orden con cuantificadores (la lógica desarrollada primero por Frege y luego con mayor detalle por Russell y Whitehead) complementada con vocabulario observacional, reglas de correspondencia que definen términos teóricos en términos de vocabulario observacional, y declaraciones de leyes como las leyes del movimiento de Galileo, la ley de Newton de la gravitación universal etc.
