This is an inofficial mirror of
http://metamath.tirix.org
for personal testing of a visualizer extension only.
Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Union
Well-founded recursion
cfrecs
Next ⟩
df-frecs
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cfrecs
Description:
Declare the syntax for the well-founded recursion generator. See
df-frecs
.
Ref
Expression
Assertion
cfrecs
class
frecs (
𝑅
,
𝐴
,
𝐹
)