Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Godel-sets of formulas - part 1
cgna

Next ⟩ cgol

Metamath Proof Explorer

Ascii
Structured

Syntax definition cgna

Description: The Godel-set for the Sheffer stroke.

		Ref	Expression
	Assertion	cgna	class ⊼_𝑔