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