دستگاه اصل موضوعی
axiomatic system
این دستگاه که توسط گنتسن ارائه شد بر خلاف دستگاه اصل موضوعی , تنها قاعده (استنتاج) است.
natural deduction
استنتاج طبیعی
sentence
جمله
derivation system
دستگاه اشتقاق
فرمول
formula
حساب دنباله‌ها
sequent calculus