decidable theory
نظریه تصمیم‌پذیر
undecidable sentence
جمله تصمیم‌ناپذیر
computation machine
ماشین محاسبه
halting problem
مسئله توقف
برهان
proof
recursively enumerable
شمارش‌پذیر بازگشتی
نظریه اعداد
number theory
Cantor-Dedekind axiom
اصل موضوع کانتور-ددکیند
recursively undecidable
تصمیم‌ناپذیر بازگشتی
decidable relation
رابطه تصمیم‌پذیر
consistency problem
مسئله سازگاری
محاسبه‌پذیری
computability
تصمیم‌پذیری
decidability