Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Union
Well-ordered recursion
cwrecs
Next ⟩
df-wrecs
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cwrecs
Description:
Declare syntax for the well-ordered recursive function generator.
Ref
Expression
Assertion
cwrecs
class
wrecs (
𝑅
,
𝐴
,
𝐹
)