Infinite: Difference between revisions
Jump to navigation
Jump to search
more info
OfficialURL (talk | contribs) (Create article) |
OfficialURL (talk | contribs) (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.▼
== Properties ==
| |||