Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Godel-sets of formulas - part 2
cgox
Next ⟩
df-gonot
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cgox
Description:
The Godel-set of existential quantification. (Note that this is not a wff.)
Ref
Expression
Assertion
cgox
class
∃
𝑔
N
U