antinomy
type: Concept
preferred label: تنازع @fa
related: consistency

proposition
type: Concept
preferred label: گزاره @fa
related: consistency

Peano axioms
type: Concept
preferred label: اصول موضوع پئانو @fa
related: consistency

consistent sentence
type: Concept
preferred label: جمله سازگار @fa
related: consistency

consistent theory
type: Concept
preferred label: نظریه سازگار @fa
related: consistency

consistency problem
type: Concept
broader: consistency
preferred label: مسئله سازگاری @fa

inconsistency
type: Concept
broader: consistency
preferred label: ناسازگاری @fa

consistency
type: Concept
broader: general logic
narrower: consistency problem
narrower: inconsistency
preferred label: سازگاری @fa
related: Peano axioms
related: proposition
related: antinomy
related: axiom of compatibility
related: decision problem
related: axioms of set theory
related: axiomatic system
related: semantic
related: proof theory
related: consistent theory
related: consistent sentence

decision problem
type: Concept
preferred label: مسئله تصمیم @fa
related: consistency

semantic
type: Concept
preferred label: معنا شناسی @fa
related: consistency

general logic
type: Concept
narrower: consistency
preferred label: منطق عمومی @fa

axiomatic system
type: Concept
preferred label: دستگاه اصل موضوعی @fa
related: consistency

proof theory
type: Concept
preferred label: نظریه برهان @fa
related: consistency

axiom of compatibility
type: Concept
preferred label: اصل موضوع سازگاری @fa
related: consistency

axioms of set theory
type: Concept
preferred label: اصول موضوع نظریه مجموعه‌ها @fa
related: consistency