cgol - Mathbox for Mario Carneiro

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

Syntax Definition cgol 31317

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

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

**Assertion**
Ref	Expression
cgol	class ∀_𝑔𝑁𝑈

See definition df-goal 31324 for more information.

Colors of variables: wff setvar class