ترتیبی
ordinal
قضیه فرم نرمال
normal form theorem