Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Infinity
Well-Founded Recursion
Next ⟩
frr3g
Metamath Proof Explorer
Ascii
Structured
Table of Contents - 2.6.7. Well-Founded Recursion
frr3g
frrlem15
frrlem16
frr1
frr2
frr3