well ordering theorem

[ریاضیات] قضیه ی خوشترتیبی