Source: /wikibot/formal-system

= Formal system
{wiki=Formal_system}