In der mathematischen Logik ist eine Theorie (der Prädikatenlogik erster Stufe) eine Menge von Aussagen über einer Signatur.