Back Formální teorie Czech Θεωρία (μαθηματική λογική) Greek Theory (mathematical logic) English Teoría (lógica) Spanish نظریه (منطق ریاضی) Persian Teoria formale Italian Teoria (logika) Polish Teoria (lógica matemática) Portuguese
In der mathematischen Logik ist eine Theorie (der Prädikatenlogik erster Stufe) eine Menge von Aussagen über einer Signatur.