محاسبه‌پذیری
computability
منطق صوری
formal logic
تصمیم‌پذیری
decidability