Metamath Proof Explorer


Syntax definition cmwgfs

Description: The set of weakly grammatical formal systems.

Ref Expression
Assertion cmwgfs class mWGFS