Source: cirosantilli/formal-system

= Formal system

= Formal proof system
{synonym}