WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Naive set theory

Revision #864 → #1419 · back to history

addedNaive set theory3d82b0f650ee
addedNaive theory (informal)89af48ecc7c0
addedRussell's paradoxbf0b33a9ddf6
addedCantor's paradox derivationb96eb7971206
addedGödel's incompleteness (consistency)8b9166f42252
addedSet (Cantor)9ce8a08e9a3d
added4 is evene5579101ce77
addedMembership78261a5a2294
addedEquality of setsf40221559369
addedPrimes less than 66301d7fa9921
addedEmpty set7132304e044e
addedExtensional set notationb4534f2ba978
addedSet-builder notation6efe2670f6b4
addedSubset1c1707364a24
addedSupersetbdca51707ce3
addedEquality via mutual inclusion4b78ddce6ed1
addedEmpty set is subset of every setfcc1521cabbf
addedPower set6b91aad747d4
addedUniversal setffec1d33e8e4
addedAbsolute complement0322a468434d
addedUnion3ab6f4548b68
addedIntersection23f092becd9a
addedRelative complementf77b9d4711b4
addedLeft-handed and blond people4b59cd58e655
addedNo human over 1000 years3512088c3be3
addedPower set Boolean algebraaa78c9bafbbd
addedOrdered pairf6beeca14177
addedEquality of ordered pairs51896d79a19e
addedCartesian product19ad1317c001
addedNatural numbersafcbb297eda7
addedIntegersec654ab3fbcb
addedRational numberscd1aec381bdf
addedAlgebraic numbersb12532a3fd0d
addedReal numbersd6cc5cb09dc7
addedComplex numberscb2e8c14bb4d
addedBurali-Forti paradox6cdf8b808e4a
addedCantor's paradoxd06a9064eb06
addedRussell's paradox (formula)0118f98ffe87
addedNo universef1adc581fe99
addedCurry's paradox80460b8995aa
addedNo set is element of itselfafeec20c1173