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 (lógica)
donde:En matemáticas todas las teorías son consistentes, ya que las teorías inconsistentes no son interesantes. Ya que cualquier proposición puede derivarse de una contradicción, en una teoría inconsistente cualquier proposición puede ser demostrada y por tanto es trivialmente completa (todas las proposiciones formulables dentro de la teoría, así como sus negaciones forman parte de la teoría). Algunos ejemplos de teorías consistentes y completas serían los siguientes: Ejemplos de teorías no completas son: Estas dos se siguen del hecho de que una teoría que admite modelos finitos e infinitos simultáneamente no puede ser completa.