Infinite: Difference between revisions

Content deleted Content added
Create article
 
more info
Line 11:
Without the axiom of choice, these may not be equivalent. Sets that are neither finite nor Dedekind infinite are called '''amorphous sets'''.
 
Within [[ZFC]], the existence of infinite sets is guaranteed by the [[axiom of infinity]], which implies the existence of the natural numbers, which can be proven infinite. Without this axiom, infinite sets can't be proven to exist.
Further kinds of infinite sets include [[countable]] and [[uncountable]] sets.
 
FurtherImportant kinds of infinite sets include [[countable]] and [[uncountable]] sets.
 
== Properties ==