Revision #687 → #1129 · back to history
addedCountable set37821b557cdc
addedCountably infinite set1c8848293d6e
addedExistence of uncountable sets87248903e05c
addedCountable set (equivalent definitions)ba8a9679aaf0
addedDefinitions are equivalent8e0e4792f79e
addedCountably infinite setdb65e11b3bf4
addedUncountable set1ecb4bd6018d
addedRoster formc8e3804e1c40
addedInfinite setfe0fee8c3084
addedIntegers and even integers in correspondence191ec4f88ec3
addedBijection / one-to-one correspondence3c5aaa9c941a
addedSame cardinality70a0e0d94ea2
addedCountably infinite (naming)813967ed38e1
addedNot all infinite sets are countably infiniteb39f01169b52
addedReal numbers are uncountabled613900404f9
addedCountable set (formal)a38fa2e72bee
addedFinite sets are countable19c1c9a700c2
addedCountably infinite set (formal)6a1e3309f754
addedPositive integers and even integers are countably infinite60165a1c8149
addedCountable iff countably infinite or finitec00beddb62eb
addedN×N is countably infinite8b16e3c85d2b
addedAlgebraic numbers are countable4acbac792544
addedPositive rationals are countableb556b068e807
addedCantor's theorem70fdbd1aba83
addedReals and infinite sequences of naturals are uncountable4583e65fcb00
addedSubset of a countable set is countablede90282b44d3
addedCartesian product of finitely many countable sets is countable2face1e1b66f
addedZ and Q are countable49bf9b28496a
addedFinite union of countable sets is countable76a479ea1237
addedUnion of countably many countable sets is countable5448c5729c66
addedSet of finite-length sequences of naturals is countable81b69271ab9f
addedSet of finite subsets of naturals is countablec8239f792663
addedInjection/surjection with a countable set4c81ff3f1410
addedThe set is uncountablea878faaf5657
addedMinimal standard model is countable08196a73d6c3
addedContents of the minimal standard model735f94524539
addedTotal orders on countable setsef1a79ee7e82
addedUsual order of rationals is not a list895f06210609
addedWell order (least element)9a312ef210b0