Teoría estadística de campos
De hecho, al realizar una rotación de Wick del espacio de Minkowski al espacio euclidiano, muchos resultados de la teoría estadística de campos se pueden aplicar directamente a su equivalente cuántico. Las funciones de correlación de una teoría estadística de campos se denominan funciones de Schwinger y sus propiedades se describen mediante los axiomas de Osterwalder-Schrader.
Teoría de modelos
Informalmente una teoría matemática está formada por un conjunto de teoremas y axiomas. Los teoremas son proposiciones lógicamente deducibles de los axiomas. 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. El aparataje anterior define la sintaxis de la teoría.