Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Infinity
Set induction (or epsilon induction)

Next ⟩ setind

Metamath Proof Explorer

Ascii
Unicode

Table of Contents - 2.6.6. Set induction (or epsilon induction)

setind
setind2
setinds
setinds2f
setinds2