Konsistensi (logika)
label: اتساق @ar
label: Consistency @en
label: Bezesporná teorie @cs
label: Consistência lógica @pt
label: Niesprzeczność @pl
label: Cohérence (logique) @fr
label: 무모순적 이론 @ko
label: Consistência @pt
label: 無矛盾 @ja
label: Непротиворечивость @ru
label: Coerenza (logica matematica) @it
label: Widerspruchsfreiheit @de
label: Несуперечність @uk
label: 一致性 (邏輯) @zh
label: Consistencia (lógica) @es
label: Consistentie (logica) @nl
label: Konsistens (filosofi) @sv
subject: Category:Proof theory
subject: Category:Hilbert's problems
subject: Category:Metalogic
description: propiedad que tiene un sistema formal cuando no es posible deducir ninguna contradicción entre los contenidos de sus proposiciones @es
description: logica @nl
description: në logjikë, veti e një teorie që nuk përmban një kontradiktë @sq
description: mantıkta çelişki içermeyen önermenin özelliği @tr
description: a logikában egy olyan elmélet tulajdonsága, amely nem tartalmaz ellentmondást @hu
description: begreb inden for logik; anvendelig egenskab ved en teori, der ikke indeholder et misforhold @da
description: Propriété d'une théorie axiomatique @fr
description: 모순을 증명하지 않는 이론 @ko
description: dalam logika, sifat tidak mengandung kontradiksi
description: vlastnost logické teorie, že neobsahuje spor @cs
description: степента на взаимодействие между градивните частици на едно тяло или флуид @bg
description: in logic, property of a theory that does not contain a contradiction @en
description: Aussagen, aus denen kein Widerspruch abgeleitet werden kann @de
description: 在邏輯上，理論的屬性不包含矛盾 @zh
wiki page external link: http://plato.stanford.edu/entries/mathematics-inconsistent/
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Primitive_recursive_arithmetic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Gödel's_incompleteness_theorems
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Classical_logic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Proof_by_contradiction
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Proof_theory
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Category:Metalogic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Paul_Bernays
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Mathematical_proof
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Signature_(logic)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Interpretation_(logic)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Mathematical_logic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Equivalence_class
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Incompleteness_theorems
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Deductive_logic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Zermelo–Fraenkel_set_theory
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Predicate_calculus
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Completeness_(logic)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Cognitive_dissonance
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Equivalence_relation
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Formula_(mathematical_logic)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/List_of_logic_symbols
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Recursively_enumerable
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Equiconsistency
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Contradiction
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Logical_equivalence
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Independence_(mathematical_logic)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Negation
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Theory_(mathematical_logic)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Hilbert's_problems
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Syntactic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Semantic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Hilbert's_program
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Stanford_Encyclopedia_of_Philosophy
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Mathematical_induction
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Closed-form_expression
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Second-order_logic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Jan_Łukasiewicz
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Presburger_arithmetic
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Emil_Post
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Well-formed_formula
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Term_(logic)
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/The_Cambridge_Dictionary_of_Philosophy
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Satisfiable
wiki page wiki link: https://dbpedia-live.demo.openlinksw.com/resource/Substitution_(logic)