Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Infinity
Well-Founded Induction

Next ⟩ frmin

Metamath Proof Explorer

Unicode
Structured

Table of Contents - 2.6.6. Well-Founded Induction

frmin
frind
frinsg
frins
frins2f
frins2
frins3