دستگاه اصل موضوعی
axiomatic system
system of proof
دستگاه برهان
natural deduction
استنتاج طبیعی
برهان
proof
دستگاه اشتقاق
derivation system
derivation rules
قواعد اشتقاق
حساب دنباله‌ها
sequent calculus
complexity of proof
پیچیدگی برهان
logical derivation
اشتقاق منطقی