Revision #954 → #1668 · back to history
addedAxiom of extensionality11f735094c41
addedAxiom of regularity41feeea3b7f6
addedNo set is an element of itselfdf813ebbfb3d
addedEvery set has an ordinal rank030b06284905
addedAxiom schema of specification55795a5a02c8
addedEven integers as a subset907fadc9cc94
addedExistence of the empty setbff042e2d431
addedUniqueness of the empty sete63365e62fea
addedAxiom of pairinga8619a3256f4
addedAxiom of uniond46ef43aefbb
addedAxiom schema of replacement891f788e6672
addedAxiom of infinity2b6e0c781fdf
addedAxiom of power set1f9a17527566
addedAxiom of well-ordering (choice)24e6ea7ef25c
addedChoice function formulation496c62605d44
addedChoice trivial for finite sets293e53e54faf
addedCharacterization of V90d2cb614428
addedMontague non-finite axiomatizabilityf54e0d6e35d1
addedNBG equivalent to ZFC for set theorems8758f7ed9bb4
addedGödel's second incompleteness theorem3bd284ae7e03
addedConsistency of ZFC unprovable in ZFCec28d2ab4d7d
addedConsistency from inaccessible cardinal619f7f36e319
addedAbian–LaMacchia independence resultsc1459225c9cf
addedIndependence of regularity7de8fd4587e2
addedTarski's axiom implies infinity, power set, choice9594342a0c49
addedIndependence results via forcingcbacbf68fc4e
addedDiamond principle implications316a8f8c318f
addedMartin's axiom implies Suslin hypothesis916fe2e6489a
addedConstructible universe satisfies GCH etc.e38d8284381a
addedKurepa hypothesis equiconsistency893359da71e5
addedIndependence of axiom of choice from ZFa004c09bc9c6
addedCon(ZF) implies Con(ZFC)4dde56c471b5