Revision #54 → #1054 · back to history
addedUncountable set36a4a9c1f1d7
addedDiagonalization lemma844670b80df7
addedT is uncountablee5ee2cec0225
addedR is uncountable8940bc53c262
addedInjection from T to R244c11ad9bdf
addedBijection between T and R02e488391c70
addedCantor's 1878 bijection methodf3603aa09454
addedDyadic numberse53bcd3871e6
addedBijection g(t) from T to (0,1)64c25f27ef99
addedFinal bijection T to R via tangente5c74608c1fc
addedCantor's theorem8edcdd52f490
addedOrdering of cardinalities1875c1fea675
addedSchröder–Bernstein theorem9e2a5d0d584c
addedSet of all sets is inconsistentaaec8093e3d4
addedConstructive uncountabilitycd8a08b1849b
addedSchröder–Bernstein requires excluded middledd7c311064f4
addedRussell's paradox on unrestricted comprehension687026642a15
addedHalting problem as diagonal argument4f5a1acd4fde
addedDiagonal set not a set in NFe684b71b219f
addedModified diagonal set is a set in NF843ab0bc7bbe
addedCardinality of P1(S) less than P(S)12cbd49908f8
addedP1(S) not in bijection with S by typingdc2b79e984ba