cgox - Mathbox for Mario Carneiro

	Mathbox for Mario Carneiro		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cgox		Structured version Visualization version GIF version

Syntax Definition cgox 33300

Description: The Godel-set of existential quantification. (Note that this is not a wff.)

**Hypotheses**
Ref	Expression
cU	class 𝑈
cN	class 𝑁

**Assertion**
Ref	Expression
cgox	class ∃_𝑔𝑁𝑈

See definition df-goex 33307 for more information.

Colors of variables: wff setvar class