Math 2.0

Concept

Simply infinite set

Summary

A term sometimes used for infinite sets, i.e., sets equinumerous with N, to contrast them with Dedekind-infinite sets. In ZF, it can be proved that all Dedekind-infinite sets are simply infinite, but the converse – that all simply infinite sets are Dedekind-infinite – can only be proved in ZFC.

Further reading

  1. Wikipedia, page 43580500, revision 1360947732, Glossary of set theory, section S. adopted
About this page
TagWFNYQEWM4X
URIm2://WFNYQEWM4X
Kindconcept
WritingW1 stated
Changed4 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge defines in: at least one definition (0 of 1)
  • edge instance_of in: at least two examples (0 of 2)
  • edge not_instance_of in: at least one non-example (0 of 1)
  • edge specializes both: the more general notions and the special cases (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.