Besonderhede van voorbeeld: 313351341373372680

English

A formal system is used to derive one expression from one or more other expressions.

Dutch

Een taal die wordt gebruikt om een formeel systeem te beschrijven heet een metataal.