primitive formula
فرمول اولیه
minimal set
مجموعه مینیمال
دستگاه اصل موضوعی
axiomatic system
first order language
زبان مرتبه اول
equivalence formula
فرمول معادل
تعمیم
generalization
قانون
law
universal formula
فرمول جهانی
atomic formula
فرمول اتمی
logical operations
عملیات منطقی
counterexample
مثال نقض
نامعادله
inequality
absolute formula
فرمول مطلق
قاعده
rule
عبارت
statement
quantifier
سور
تایپ
type
subformula
زیرفرمول
natural deduction
استنتاج طبیعی
Godel numbering
شماره‌گذاری گودل
stable formula
فرمول پایدار
positive formula
فرمول مثبت
عبارت) جمله)
term
Tarski-Vaught theorem
قضیه تارسکی-وات
definable type
تایپ تعریف‌پذیر
language
زبان
نادرست
false
model completion of theory
مدل تکمیل‌شده نظریه
complexity of formula
پیچیدگی فرمول
assertion
تصدیق
sentence
جمله
strongly minimal formula
فرمول قوی‌مینیمال
witness property
ویژگی شاهد
نقیض
negation
فرمول
formula
ambiguous
مبهم
Morley degree
درجه مورلی
complete formula
فرمول کامل
atomic diagram
نمودار اتمی