Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Godel-sets of formulas - part 1
cfmla
Next ⟩
csate
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cfmla
Description:
The formula set predicate.
Ref
Expression
Assertion
cfmla
class
Fmla