A contemporary formal system would be constructed as follows: Symbols used: This set is the starting set, and other symbols can appear but only by definition from these beginning symbols.
一个现代的形式系统将构造如下： 使用的符号：该组是开始集合，其它符号可以出现，而是仅由从这些开始码的定义。