Metamath Proof Explorer


Syntax definition cmgfs

Description: The set of grammatical formal systems.

Ref Expression
Assertion cmgfs class mGFS