Revision #295 → #1560 · back to history
addedBolzano's correspondence between intervals1353b1a5e0b4
addedCardinality794e8f024cb0
addedUncountability of the real numbers9d26605eab08
addedCantor's theorem067f301866a2
addedTransfinite numbers (cardinals and ordinals)111c2441505a
addedAxiom of unrestricted comprehension (Basic Law V)c02014185f3b
addedRussell's paradoxd98fa9828c7a
addedMembership relationfbecc44bae2f
addedSubset (set inclusion)716409d821d9
addedProper subset8e33d8fce070
addedUnion of sets281be36cb583
addedIntersection of setsbd873959923a
addedSet difference9425a88c455d
addedComplement62b531d26197
addedSymmetric difference8bdbcd671453
addedCartesian product4da07a6f6162
addedEmpty set860cf7c4de54
addedPower setfa02a19ab8db
addedPure set8c4e29e3a5c4
addedRank in the cumulative hierarchy24a0a880cdff
addedUrelementsca9a6b176bfc
addedDescriptive set theory348996067b70
addedFuzzy set membershipbaae2ed93c71
addedDegree of membership in 'tall people'476b55ce568c
addedInner model of ZF6ad3314c6cfa
addedConstructible universe Lcfd59a1c32d7
addedLarge cardinal2c654988e7ad
addedDeterminacy841f93064b0f
addedAxiom of determinacy implies regularity of realsb9df77bb3311
addedCardinal invariantb9fbc7b87aef
addedSet-theoretic topologyb67d3f7347a3
addedCombinatorial set theoryeb149f163886
addedFunction as a relation between setsdc2e9d588c3d