W
logice matematycznej teorią nazywamy niesprzeczny
zbiór zdań. Dokładniej, niech
T będzie zbiorem zdań zapisanych w pewnym
języku L. Wtedy
T jest teorią, jeśli nie istnieje zdanie napisane w języku
L takie że
T dowodzi zarówno tego zdania, jak i jego zaprzeczenia. Zbiór zdań
T dowodzi zdania
X, jeśli można przeprowadzić formalny
dowód zdania
X przy użyciu zdań ze zbioru
T oraz aksjomatów i reguł dowodzenia
klasycznego rachunku logicznego.