Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Replacement
Derive the Axiom of Separation

Next ⟩ axsepgfromrep

Metamath Proof Explorer

Ascii
Unicode

Table of Contents - 2.2.2. Derive the Axiom of Separation

axsepgfromrep
axsep
ax-sep
axsepg
zfauscl
bm1.3ii
ax6vsep