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