Theorie

Eine Sammlung von Formeln in einer formalen Sprache, betrachtet als ein Ganzer von Aussagen, häufig dargestellt als Menge von Axiomen zusammen mit allen aus ihnen ableitbaren Formeln; eine Theorie kann endlich oder unendlich, axiomatisierbar oder durch ihre Modellklasse definiert sein.

Eine Menge von Sätzen in einer festen formalen Sprache, üblicherweise abgeschlossen unter logischer Konsequenz, deren Elemente als Axiome oder Konsequenzen dienen und eine Modellklasse charakterisieren.