Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Godel-sets of formulas - part 1
cgoe
Next ⟩
cgna
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cgoe
Description:
The Godel-set of membership.
Ref
Expression
Assertion
cgoe
class e.g