En el enfoque moderno, las teorías se conciben como un conjunto de proposiciones expresables en un cierto lenguaje formal que recoge explícitamente el conjunto de símbolos de la teoría, los axiomas y las reglas de deducción.