Revision #55 → #1055 · back to history
addedCantor's theorem11a0b8acb347
addedCantor's theorem for finite sets5b2499f03f24
addedCardinality of the reals exceeds the integers9f049b0a76bb
addedNo largest cardinal number858d404a3218
addedCardinality comparison9de21b3f4361
addedNo surjection onto power set773b6cdc4f7e
addedCantor diagonal seteadeb2f90a92
addedTheorem (Cantor)96ff69ed4452
addedCantor's theorem for countably infinite Aba543cdd7972
addedCantor's paradox7cc1c9aea606
addedRussell setaf074a40118a
addedRussell's paradox2b3cbed3d195
addedCantor's 1891 indicator-function formaaca2c17f8f5
addedMore propositional functions than objects7630b2377991
addedZermelo's Cantor's Theorem00cc16b5a2e9
addedLawvere's fixed-point theorem14cb875b2e0e