Revision #718 → #1026 · back to history
addedAxiom schema of replacement (informal)d1ef5a832860
addedImage of a set under a definable function4432293956f9
addedAxiom schema of replacement (formal statement)5d816c036961
addedReplacement implied by limitation of size82f1b966aac6
addedExistence of ω·2 requires replacementa0b8e3c64dca
addedConstruction of the first uncountable ordinaldbd38e08eb8f
addedHartogs number generalization224fb38c2ad6
addedOrdinal assignment to well-ordered sets requires replacementc8e1acc34904
addedVon Neumann cardinal assignment requires replacementbb075aa4eb4e
addedHigh-rank tuple sets unprovable without replacementd2ac4ab341b1
addedBorel determinacy theorem (Martin)fb5aa5e5a635
addedZF proves consistency of Zeb41c83bd8fa
addedLévy's parameter-free replacement equivalence0e8fc03bf0d9
addedAxiom schema of collection1a6b3b7a77c7
addedCollection equivalent to replacement over ZFf0e9871ffbba
addedCollection stronger than replacement without power set1de2ffe9cc04
addedAxiom schema of boundednessc77ce2e94cb4
addedSeparation follows from replacement and empty set4061a481b5b9
addedZFC axiomatizable by a single infinite schema853e1d34861f
addedLévy's reflection principle equivalent to replacementacbeb46a6d83