شرط
condition
language
زبان
theorem
قضیه
first order language
زبان مرتبه اول
گزاره دو شرطی
biconditional statement