In ZFC, Dedekind finite set and finite set are same things. So I have a set say A(which is equal to N in ZFC) all Dedekind finite set are equivalent to proper subsets of A and A is well ordered set.
But I just get to know, and there is a model of ZF theory in which there exist an infinite but Dedekind finite set. So I have one question. Can we find a set A such that all Dedekind finite sets are equivalent to its proper subset and A is well ordered.(Of course N will not work)