Defining a generator for a new formal system

To be written.