antinomy
تنازع
proposition
گزاره
Peano axioms
اصول موضوع پئانو
consistent sentence
جمله سازگار
نظریه سازگار
consistent theory
consistency problem
مسئله سازگاری
inconsistency
ناسازگاری
سازگاری
consistency
مسئله تصمیم
decision problem
semantic
معنا شناسی
منطق عمومی
general logic
دستگاه اصل موضوعی
axiomatic system
proof theory
نظریه برهان
axiom of compatibility
اصل موضوع سازگاری
axioms of set theory
اصول موضوع نظریه مجموعه‌ها