Editing Metalogic (section)

=== Formation rules ===
{{Main|Formation rule}}

''Formation rules'' (also called ''formal grammar'') are a precise description of the [[well-formed formula]]s of a formal language. They are synonymous with the [[set (mathematics)|set]] of [[String (computer science)|strings]] over the [[alphabet]] of the formal language that constitute well formed formulas. However, it does not describe their [[semantics]] (i.e. what they mean).