Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Union
"Strong" transfinite recursion
crecs
Next ⟩
df-recs
Metamath Proof Explorer
Unicode
Structured
Syntax definition
crecs
Description:
Notation for a function defined by strong transfinite recursion.
Ref
Expression
Assertion
crecs
class recs ( F )