sequent
نتیجه
conjecture
حدس
proposition
گزاره
language
زبان
theorem
قضیه
lemma