e/Theory (model theory)

Information
has gloss	eng: In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. The individual sentences of a theory are called its theorems. Theories generally take the form:
lexicalization	eng: Formal theories
lexicalization	eng: Theory
subclass of	(noun) a well-substantiated explanation of some aspect of the natural world; an organized system of accepted knowledge that applies in a variety of circumstances to explain a specific set of phenomena; "theories can incorporate facts and laws and tested hypotheses"; "true in fact and theory" theory
has instance	e/Theory of pure equality

Meaning
Modern Greek (1453-)
has gloss	ell: Στη μαθηματική λογική, μια θεωρία είναι σύνολο από προτάσεις σε μια τυπική γλώσσα. Για παράδειγμα, μια θεωρία πρώτης τάξης είναι σύνολο από προτάσεις πρώτης τάξης. Πολλοί συγγραφείς απαιτούν η θεωρία να είναι κλειστή ως προς τη λογική συνέπεια.
lexicalization	ell: θεωρία
Persian
lexicalization	fas: نگره
Polish
has gloss	pol: 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.
lexicalization	pol: teoria