Assertion: infinite set | /r/HasProperty | dedekind-infinite
Facets:
Source sentences:
text: Since every infinite well-ordered set is Dedekind-infinite, and since the AC is equivalent to the well-ordering theorem stating that every set can be well-ordered, clearly the general AC implies that every infinite set is Dedekind-infinite.
text: If we assume the axiom CC (i. e., AC ω ), then it follows that every infinite set is Dedekind-infinite.