About: Theory (mathematical logic)

Property	Value
dbo:description	struktureret overvejelse over idéer, ikke-empiriske forhold eller abstrakte sammenhænge uden tanke på praksis (da) conjunto de sentenças de uma linguagem formal (pt) insieme di proposizioni in un linguaggio formale (it) množina formulí nějakého jazyka (cs) niesprzeczny zbiór zdań (pl) set de propoziții dintr-un limbaj formal (ro) set of sentences in a formal language (en) ഒരു ഫോർമൽ ലാങ്വേജിലുള്ള വാക്യങ്ങളുടെ കൂട്ടം (ml) widerspruchsfreie Menge von Aussagen über einer Signatur (de) формальный способ вывода умозаключений (ru)
dbo:wikiPageInterLanguageLink	dbpedia-fr:Théorie_axiomatique
dbo:wikiPageWikiLink	dbr:Axiomatic_system dbr:Principle_of_explosion dbr:Natural_deduction dbr:Sequent_calculus dbr:Recursion dbr:Signature_(logic) dbr:Resolution_(logic) dbr:Löwenheim–Skolem_theorem dbr:Rule_of_inference dbr:Cambridge_University_Press dbr:First-order_logic dbr:Logical_consequence dbr:Decidability_(logic) dbr:Satisfiability dbr:Deductive_system dbr:Formal_system dbr:Well-formed_formula dbr:Gödel's_completeness_theorem dbr:Compactness_theorem dbr:Sentence_(mathematical_logic) dbr:Formal_language dbr:List_of_first-order_theories dbr:Structure_(mathematical_logic) dbr:Formal_proof dbc:Formal_theories dbr:Axiom dbr:Mathematical_theory dbr:Decidability_of_first-order_theories_of_the_real_numbers dbr:Mathematical_logic dbc:Logical_expressions dbr:Theorem dbr:Method_of_analytic_tableaux dbr:Complete_theory dbr:Lindenbaum's_lemma dbr:Ω-consistent_theory dbr:Second-order_logic dbr:True_arithmetic dbr:Deduction_theorem dbr:Axioms dbr:ZFC dbr:Expansion_(model_theory) dbr:Interpretability dbr:Peano_arithmetic dbr:Consistent dbr:Consequence_relation dbr:Consistent_set dbr:Many-to-one dbr:Hilbert-style_deductive_system dbr:Real_closed_fields dbr:Enumerable dbr:Enumeration_theorem dbr:Inductive_family dbr:Ω-inconsistent_theories dbr:Model_(model_theory) dbr:Σ-sentence
dbp:date	June 2021 (en)
dbp:reason	What if σ already contains all elements of A? (en)
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Main dbt:Reflist dbt:See_also dbt:Further dbt:Mathematical_logic dbt:Redirects dbt:Explain dbt:Short_description
dct:subject	dbc:Formal_theories dbc:Logical_expressions
rdf:type	owl:Thing
rdfs:label	Theory (mathematical logic) (en) Formální teorie (cs) Theorie (Logik) (de) Θεωρία (μαθηματική λογική) (el) Teoría (lógica) (es) Teoria (lógica matemática) (pt) Teoria (logika) (pl)
rdfs:seeAlso	dbr:Conservative_extension
owl:sameAs	freebase:Theory (mathematical logic) yago-res:Theory (mathematical logic) wikidata:Theory (mathematical logic) wikidata:Theory (mathematical logic) dbpedia-de:Theory (mathematical logic) dbpedia-pt:Theory (mathematical logic) dbpedia-es:Theory (mathematical logic) dbpedia-fa:Theory (mathematical logic) dbpedia-pl:Theory (mathematical logic) dbpedia-el:Theory (mathematical logic) dbpedia-cs:Theory (mathematical logic) dbpedia-global:Theory (mathematical logic) dbr:Theory (mathematical logic)
prov:wasDerivedFrom	wikipedia-en:Theory_(mathematical_logic)?oldid=1288929407&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Theory_(mathematical_logic)
is dbo:wikiPageDisambiguates of	dbr:Theory_(disambiguation)
is dbo:wikiPageRedirects of	dbr:Theory_(logic) dbr:Theory_(model_theory) dbr:Deductive_theory dbr:Logic_theory dbr:Logical_theory dbr:Subtheories dbr:Subtheory dbr:Supertheory
is dbo:wikiPageWikiLink of	dbr:Axiomatic_system dbr:Conservative_extension dbr:Fragment_(logic) dbr:Natural_deduction dbr:Mathematical_object dbr:Craig_interpolation dbr:Löwenheim–Skolem_theorem dbr:Satisfiability_modulo_theories dbr:Definable_set dbr:Consistency dbr:Turnstile_(symbol) dbr:Decidability_(logic) dbr:Proof_theory dbr:Satisfiability dbr:Elementary_equivalence dbr:Skolem_normal_form dbr:Independence_(mathematical_logic) dbr:False_(logic) dbr:Formal_theory dbr:O-minimal_theory dbr:Timeline_of_category_theory_and_related_mathematics dbr:Tolerant_sequence dbr:Anand_Pillay dbr:Formal_system dbr:Gödel's_completeness_theorem dbr:Preorder dbr:Sentence_(mathematical_logic) dbr:Equiconsistency dbr:Elementary_class dbr:Algorithmic_information_theory dbr:Existential_theory_of_the_reals dbr:Existentially_closed_model dbr:Infinitary_logic dbr:Inner_model dbr:Doxastic_logic dbr:Transitive_set dbr:Diagonal_lemma dbr:Categorical_logic dbr:Interpretation_(logic) dbr:Structure_(mathematical_logic) dbr:Deductive_closure dbr:Cointerpretability dbr:Mathematical_theory dbr:Provability_logic dbr:Alonzo_Church dbr:Decidability_of_first-order_theories_of_the_real_numbers dbr:Mathematical_logic dbr:Model_theory dbr:Pseudo-finite_field dbr:Uninterpreted_function dbr:Theorem dbr:Theory_(disambiguation) dbr:List_of_unsolved_problems_in_mathematics dbr:Complete_theory dbr:List_of_mathematical_logic_topics dbr:Yuri_Gurevich dbr:Stanley_Jaki dbr:Fexpr dbr:Kleene's_T_predicate dbr:Elementary_theory dbr:Flag_algebra dbr:Ω-consistent_theory dbr:Algebraic_theory dbr:Robinson's_joint_consistency_theorem dbr:Tarski's_exponential_function_problem dbr:Sketch_(mathematics) dbr:True_arithmetic dbr:Deduction_theorem dbr:Chain-complete_partial_order dbr:Atomic_model_(mathematical_logic) dbr:Extension_by_new_constant_and_function_names dbr:Imaginary_element dbr:Regular_tree_grammar dbr:Omega-categorical_theory dbr:Łoś–Vaught_test dbr:Tarski–Seidenberg_theorem dbr:Categorical_theory dbr:Diagram_(mathematical_logic) dbr:Weak_interpretability dbr:Mathematical_theory_(disambiguation) dbr:Interpretability dbr:Theory_(logic) dbr:Theory_(model_theory) dbr:Deductive_theory dbr:Logic_theory dbr:Logical_theory dbr:Subtheories dbr:Subtheory dbr:Supertheory
is foaf:primaryTopic of	wikipedia-en:Theory_(mathematical_logic)